[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.


	Makarius




More information about the isabelle-dev mailing list