[isabelle-dev] Aquamacs emacs

[Lawrence Paulson]

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

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 3.7.1.1 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 3.7.1.1 will no longer work.  I reckon that the serious problems we already have will escalate within the next 12 months or so.