[isabelle-dev] Towards the Isabelle2015 release
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