[isabelle-dev] Towards the next Isabelle release

[Makarius]

On Wed, 2 Jun 2010, Makarius wrote:

> ... we should be ready for liftoff within the next few days.

There have been a few extra days for no particular reason, so regular 
submission can be safely closed now.


The release branch continues here 
http://isabelle.in.tum.de/repos/isabelle-release/rev/7b0ccc20cddc

Only clean Mercurial changesets (without merges) that address serious 
problems will be accepted there -- after final shipment everything will be 
merged back.  This also means changes added to the release should *not* be 
pushed onto the main Isabelle repository, to avoid strange echos in the 
history.

The current test website http://www4.in.tum.de/~wenzelm/test/isabelle/ is 
in a much better state now.  The packages are still lagging behind a full 
day -- it takes half a day to rebuild everything.


 	Makarius