[isabelle-dev] Isabelle2009-1 test release -- final call

[Makarius]

This is the last chance to take a look at

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

and report any omissions in the website, or problems in the system. There 
have been relatively few reports so far, which either means that it all 
works or few people have actually tried it.

I will probably produce the official Isabelle2009-1 snapshot tomorrow.


 	Makarius