[isabelle-dev] Towards the Isabelle2014 release

Makarius makarius at sketis.net
Tue Jul 1 16:30:47 CEST 2014

Some concrete moves are slowly starting ...

I am about to update the website, such that Isabelle2014-RC0 can be 
published with an approximation of the one for the coming release.

The website repository 
https://bitbucket.org/isabelle_project/isabelle-website after the current 
change d8d16bd1a839 is semantically meant for Isabelle2014.

Accidental updates of the still current website for Isabelle2013-2 need to 
be avoided!  From now on, it is de-facto in frozen state.


More information about the isabelle-dev mailing list