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