[isabelle-dev] Isabelle2013-2 release
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  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
More information about the isabelle-dev