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



On 05/04/2019 14:08, Mathias Fleury wrote:
> 
> I am using emacs to edit theory file (with semantic highlighting provided by the Isabelle/VSCode-server), instead of Isabelle/jEdit. Because Isabelle/jEdit crashes around 3 times a day when I use it [1].
> 
> [1] I am not claiming that I am using Isabelle in the standard way.

It would be still interesting to know why it crashed, and what the
non-standard usage is.

In Isabelle2019, Isabelle/jEdit will be at version 11. It is to be
rock-solid, without crashes.


	Makarius




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