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
