[isabelle-dev] Isabelle2009-1 test release -- final call
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