[isabelle-dev] Isabelle2009 release

Makarius makarius at sketis.net
Sun Mar 29 22:51:09 CEST 2009

Dear Isabelle contributors,

this is the last call for small amendments to the present state of the 
system for the upcoming release -- which is already quite late.  Proper 
source freeze should happen within the next few days.

After that there are still some more days to polish manuals, update NEWS, 
CONTRIBUTORS etc., but one needs to desist the temptation for last-minute 
"fixes" that usually break things.


More information about the isabelle-dev mailing list