[isabelle-dev] Isabelle2009 release
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