On Mon, 24 Jan 2011, Makarius wrote:
* ProofGeneral-4.1pre110112: deleted .elc files on Linux to improve
compatibility with GNU Emacs 23.1.x instead of 23.2.1
It is also unclear when exactly PG 4.1-final will be released this week.
We stick with ProofGeneral-4.1pre110112 for the Isabelle2011 release until
the dust on the PG 4.1-final development has settled.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
