[isabelle-dev] Towards the Isabelle2015 release

Makarius makarius at sketis.net
Sun Apr 19 20:04:35 CEST 2015


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



More information about the isabelle-dev mailing list