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. _______________________________________________ Isabelle-dev mailing list Isabelle-dev@mailbroy.informatik.tu-muenchen.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev