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


More information about the isabelle-dev mailing list