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.
Then we will have several weeks of separate Isabelle repository
development, and final convergence of the release branch, until everything
is merged again at the end of May or start of June.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
