[isabelle-dev] Towards the Isabelle2015 release

[Makarius]

On Fri, 17 Apr 2015, Makarius wrote:

> 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.

The fork will happen in 1-2h.

To make clear which changesets are meant for which repository, there 
should not be any further pushes on 
http://isabelle.in.tum.de/repos/isabelle from now on, until the 
announcement of the finished fork.

There is no problem to hand over further improvements of documentation 
after the fork.


 	Makarius