[isabelle-dev] Towards the Isabelle2014 release

Makarius makarius at sketis.net
Fri Jul 4 14:09:57 CEST 2014

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 


More information about the isabelle-dev mailing list