[isabelle-dev] UPDATE: Isabelle2009-1 test release

Makarius 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 (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 mailing list