*To*: Wolfgang Jeltsch <wolfgang-it at jeltsch.info>*Subject*: Re: [isabelle] Another newbie question...case-based proofs*From*: Mathias Fleury <mathias.fleury12 at gmail.com>*Date*: Fri, 5 Apr 2019 13:31:18 +0200*Cc*: Makarius Wenzel <makarius at sketis.net>, Cl-isabelle Users <cl-isabelle-users at lists.cam.ac.uk>*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>

> On 5. Apr 2019, at 12:21, Makarius <makarius at sketis.net> wrote: > > 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. As long as Isabelle supports the language server protocol, it is possible to make vim interact with Isabelle (with some limitations; e.g., there are no colours in the equivalent of the 'buffer+output buffer'). However, the integration requires some work. I don't know anything about the internals of vim, but, at least in emacs, the lack of multithreading is an issue. Otherwise, VSCode probably has a mode with vim keybindings. Mathias > > I recommend HOL4 in that respect. > > > Makarius >

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

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

- Previous by Date: Re: [isabelle] Another newbie question...case-based proofs
- Next by Date: Re: [isabelle] Another newbie question...case-based proofs
- Previous by Thread: Re: [isabelle] Another newbie question...case-based proofs
- 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