[isabelle-dev] Isabelle2013-2 release

Christian Sternagel c.sternagel at gmail.com
Fri Nov 22 07:24:04 CET 2013

Sorry for the delay (I'm currently moving from Japan back to Austria, and moving in takes longer than expected... Thus only irregular internet access.) I'll have a look today in the afternoon if that is okay, otherwise I'm sure that Dmitriy knows what he is doing :-) 



Makarius <makarius at sketis.net> 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 
> 	Makarius

More information about the isabelle-dev mailing list