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

Makarius makarius at sketis.net
Wed Dec 2 17:33:04 CET 2009

This is the last chance to take a look at


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.


More information about the isabelle-dev mailing list