[isabelle-dev] UPDATE: Isabelle2009-1 test release
makarius at sketis.net
Mon Nov 30 00:17:46 CET 2009
This is another update of
which is based on
Various obscure problems have been ironed out, hopefully without breaking
things again. System integration has improved, especially on Cygwin.
As a special bonus, the included Proof General 220.127.116.11 (sic!) allows
editing of ML antiquotations without font-lock hanging forever. It also
supports spaces in the installation directory name after all these years.
The website is almost finished now. Please report any omissions.
More information about the isabelle-dev