[isabelle-dev] Towards the next Isabelle release

Makarius makarius at sketis.net
Mon Jun 7 17:31:02 CEST 2010

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 

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 

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.


More information about the isabelle-dev mailing list