[isabelle-dev] Towards Isabelle2011 release
makarius at sketis.net
Tue Jan 25 23:43:34 CET 2011
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.
More information about the isabelle-dev