[isabelle-dev] Towards the Isabelle2014 release

[Makarius]

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.


 	Makarius