On Tue, 1 Jul 2014, Makarius wrote:
I am about to update the website, such that Isabelle2014-RC0 can be published with an approximation of the one for the coming release.
I will tag Isabelle2014-RC0 today or tomorrow, shooting blindly at the repository. This is not a regular release candidate yet, but a preliminary version used at VSL 2014, e.g. for the Isabelle tutorial. It will be also announced on isabelle-users, such that people can start some testing.
Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev