On Tue, 24 Sep 2013, Jasmin Christian Blanchette wrote:
As far as "HOL-BNF" is concerned, you can branch any time. What doesn't
make it in this release will make it into the next one.
OK, I will tell you when we are getting close to the fork point.
Just formally for a proper release, you need to make sure that there are
no spurious tracing and debugging messages left.
BTW, Pretty.item allows to make nice square bullets for itemization
(visible in Isabelle/jEdit only).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
