[isabelle-dev] Towards the Isabelle2014 release
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
There were some delays, but I will definitely make a blind shot today,
within the next few hours.
More information about the isabelle-dev