[isabelle-dev] Isabelle2013-2 release

[Christian Sternagel]

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 :-) 

cheers

chris

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 
>https://bitbucket.org/isabelle_project/isabelle-release
>
>
> 	Makarius