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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
