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 <[email protected]> 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 [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
