[isabelle-dev] Aquamacs emacs

Lawrence Paulson lp15 at cam.ac.uk
Sat May 15 17:18:48 CEST 2010

I've used PG Version 4.0pre091204 quite a bit, no problems. What goes wrong with it?

On 15 May 2010, at 15:32, Makarius wrote:

> Which version of PG 4 is this?  I only know of ProofGeneral-4.0pre091204.tgz, and the repository version seems to be mostly identical to that, which means it is highly unstable.
> The situation concerning PG is still unchanged since the Isabelle2009-1 release:
>  * PG 4.x is broken
>  * PG is in stasis, it somehow works but for Emacs 22.x only
> Unless the PG 4.x situation changes dramatically, it means our time is running out as major Emacs distribution switch to GNU Emacs 23 (like Aquamacs 2.0), because PG will no longer work.  I reckon that the serious problems we already have will escalate within the next 12 months or so.

More information about the isabelle-dev mailing list