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

Peter Lammich lammich at in.tum.de
Tue Apr 17 18:24:10 CEST 2012


> 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.


I guess most of the PG users work on the release version, and would be
quite annoyed if the next release contains a buggy PG.

Peter






More information about the isabelle-dev mailing list