[isabelle-dev] Towards the Isabelle2015 release

[Makarius]

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.


 	Makarius