On Thu, 9 Apr 2015, Makarius wrote:
Back to the actual topic of this thread: If you want to change the syntax for the release, there are a very few days left until the first release candidate is published
Is there still anything coming for the release on this thread?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
