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 ;)).
chris
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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev