[isabelle-dev] Towards the Isabelle2014 release
makarius at sketis.net
Thu Aug 7 13:55:43 CEST 2014
This is an update on the ongoing release / testing process:
* The next release candidate (Isabelle2014-RC3) will probably appear at
the 1 week distance that we've had so far, i.e. next Sunday or Monday.
* I will merge back the isabelle-release repository at the same time, so
that ongoing isabelle development involes the various accumulated
changes -- which also helps testing on both branches. For the
discussion of problems, we only need to keep in mind to which mailing
list it belongs semantically.
Afterward the merge changes to isabelle-release should be very rare and
exceptional -- the big breakdown has not shown up yet, but might be still
There will be 2 more weeks of public testing of Isabelle2014-RC3, before
final lift-off towards the end of August.
More information about the isabelle-dev