[isabelle-dev] <-> and <-->

Lawrence Paulson lp15 at cam.ac.uk
Tue Apr 17 18:08:01 CEST 2012

I certainly care about it. Jedit is great for browsing existing theory developments, but there is no support for actually doing proofs.

On 17 Apr 2012, at 16:56, Makarius wrote:

> Anyway, who is maintaining Isabelle ProofGeneral now?  The repository version does not work with Emacs 23 for several months already.  It seems that nobody cares about it anymore.
> For the release, I will package up official ProofGeneral-4.1 as last time. It is then up to its users to test it and report problems in the usual testing stage before the release.

More information about the isabelle-dev mailing list