[isabelle-dev] Towards the Isabelle2014 release

Makarius 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 
hidden somewhere.

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 mailing list