[isabelle-dev] Isabelle2009 release

[Makarius]

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.


 	Makarius