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

[Makarius]

This is another update of

   http://www4.in.tum.de/~wenzelm/test/isa2009-1-test

which is based on

   http://isabelle.in.tum.de/repos/isabelle-release/rev/e1c262952b02

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 3.7.1.1 (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.


 	Makarius