Jack Daniels (Jan 19 2024 at 02:34): Jack Daniels (Jan 19 2024 at 02:34):Hello, I'm an Emacs user, and I recently found Isabelle in the documentation of Isamode (https://homepages.inf.ed.ac.uk/da/Isamode/doc/Isamode_toc.html), by the University of Edinburgh. I really want to use it on my Emacs, but the official latest version is not available on the FTP server ftp.dcs.ed.ac.uk (they shut down the server). How can I obtain Isamode and use it with my Emacs?
Mathias Fleury (Jan 19 2024 at 05:56):Proofgeneral support was removed around 2014 or 2015 from the Isabelle distribution (the link is about Isabelle from 1999)
Mathias Fleury (Jan 19 2024 at 05:57):Officially, only Isabelle/jEdit is supported (and Isabelle/VSCode is a prototype)
Mathias Fleury (Jan 19 2024 at 05:58):Unofficially, there is my prototype to use Emacs via the LSP protocol https://github.com/m-fleury/isabelle-emacs, also used by Isabelle/VSCode.
disclaimer: it is my own code. I use for a long time, because I strongly dislike jEdit, but use it at your own risk.
Last updated: Apr 28 2024 at 08:19 UTC