[isabelle-dev] Isabelle release

Makarius makarius at sketis.net
Fri May 30 00:06:20 CEST 2008

Dear Isabelle contributors,

the code freezing time for Isabelle2008 is imminent.  Any last minute 
commits should be restricted to real show stoppers.  There are still a 
couple of days to tune documentation, though.  Please also check your 
entries in NEWS and CONTRIBUTORS.


More information about the isabelle-dev mailing list