[isabelle-dev] Towards the Isabelle2014 release

[Makarius]

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