*To*: Wolfgang Jeltsch <wolfgang-it at jeltsch.info>*Subject*: Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)*From*: Lawrence Paulson <lp15 at cam.ac.uk>*Date*: Fri, 5 Apr 2019 14:27:34 +0100*Cc*: cl-isabelle-users at lists.cam.ac.uk*In-reply-to*: <1554464723.2503.35.camel@jeltsch.info>*References*: <CAJ=ZMJK4d0xDP4ULTqEFWwXcHdfPN4yLVqRdPV_nht9VHAWbkQ@mail.gmail.com> <2315a38013d645bfa7ed4a7a37948817@chalmers.se> <D296D69F59ADF247B47C452A21D6ED2314142FD6@XMBX3.uibk.ac.at> <1552327215.3710.8.camel@in.tum.de> <9be127f9-1d5c-9673-3720-e82e46db1e21@gmail.com> <1552407330.8237.61.camel@jeltsch.info> <ee2be556-0249-f808-826f-03908a21c466@sketis.net> <1554464723.2503.35.camel@jeltsch.info>

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 jeltsch.info> 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. >

**References**:**Re: [isabelle] Another newbie question...case-based proofs***From:*Makarius

**[isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)***From:*Wolfgang Jeltsch

- Previous by Date: Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)
- Next by Date: Re: [isabelle] Isabelle2019-RC0: Fonts look blurry
- Previous by Thread: Re: [isabelle] Isabelle and Vim
- Next by Thread: Re: [isabelle] Another newbie question...case-based proofs
- Cl-isabelle-users April 2019 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list