[isabelle-dev] Isabelle2013-2 release

Christian Sternagel c.sternagel at gmail.com
Fri Nov 22 16:37:37 CET 2013

Looks good. Sorry for the delay, and for dropping this check in the 
first place (honestly I do not remember why I dropped it, but I do 
remember that it was no accident ... I guess I was convinced that it 
would not do any harm ;)).


On 11/21/2013 10:02 PM, Makarius wrote:
> On Thu, 21 Nov 2013, Dmitriy Traytel wrote:
>> From my angle Isabelle/f6ffe53387ef resolves [1] in a robust way. But
>> I'm waiting for Christian to confirm this.
> Chris, is this OK?
> I am ready to send f6ffe53387ef to the emergency release branch
> https://bitbucket.org/isabelle_project/isabelle-release
>      Makarius

More information about the isabelle-dev mailing list