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
