[isabelle-dev] Towards the Isabelle2014 release

Makarius makarius at sketis.net
Sat Jul 5 12:50:38 CEST 2014

On Fri, 4 Jul 2014, Makarius wrote:

> 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.

There were some delays, but I will definitely make a blind shot today, 
within the next few hours.


More information about the isabelle-dev mailing list