Re: [isabelle] Isabelle and Vim (was: Re: Another newbie proofs)

In fact jEdit has quite a few powerful features. One of my favourites is CMD-8 (presumably CTRL 8 under Linux and Windows) to select the nearest closing set of brackets. I use Markers all the time and have only just discovered Folding, which fully supports Isar and is ideal for hiding giant sub-proofs. There is probably much more, if one takes the trouble to explore.

Larry Paulson

> On 5 Apr 2019, at 12:45, Wolfgang Jeltsch <wolfgang-it at> wrote:
> I like Vim particularly for its efficient editing capabilities, things
> like jumping to the matching bracket or deleting everything enclosed by
> the quotation marks to the left and right of the cursor, all of which
> doesn’t involve complicated key combinations. I guess the goal is not to
> make Isabelle editing less efficient.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.