On Fri, 22 Nov 2013, Christian Sternagel wrote:
Looks good.
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
See now
https://bitbucket.org/isabelle_project/isabelle-release/commits/bf2519f2bd01
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
