[isabelle-dev] Towards the Isabelle2015 release

Makarius makarius at sketis.net
Fri Apr 17 22:36:42 CEST 2015

After the announcement of Isabelle2015-RC1 there are 48 more hours on the 
main Isabelle repository, before the critical fork to 
https://bitbucket.org/isabelle_project/isabelle-release happens.

Then we will have several weeks of separate Isabelle repository 
development, and final convergence of the release branch, until everything 
is merged again at the end of May or start of June.


More information about the isabelle-dev mailing list