[isabelle-dev] Towards the next Isabelle release
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