*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)*From*: Wolfgang Jeltsch <wolfgang-it at jeltsch.info>*Date*: Fri, 05 Apr 2019 14:45:23 +0300*In-reply-to*: <ee2be556-0249-f808-826f-03908a21c466@sketis.net>*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>

Am Freitag, den 05.04.2019, 12:21 +0200 schrieb Makarius: > On 12/03/2019 17:15, Wolfgang Jeltsch wrote: > > > By the way, have there been any attempts so far to integrate > > Isabelle into Vim? > > No, Isabelle is moving in the opposite direction. In what respect is Isabelle moving away from Vim? 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. So what is it that is considered bad about Vim and is more and more avoided by Isabelle? All the best, Wolfgang

**Follow-Ups**:**Re: [isabelle] Isabelle and Vim (was: Re: Another newbie question...case-based proofs)***From:*Mathias Fleury

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

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

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

- Previous by Date: Re: [isabelle] Isabelle2019-RC0 available for experimentation
- Next by Date: Re: [isabelle] Isabelle2019-RC0 available for experimentation
- Previous by Thread: Re: [isabelle] Another newbie question...case-based proofs
- Next by Thread: Re: [isabelle] Isabelle and Vim (was: Re: 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