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
