[isabelle-dev] Towards Isabelle2011 release

Makarius 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.


 	Makarius



More information about the isabelle-dev mailing list