[isabelle-dev] The coming release
makarius at sketis.net
Tue Sep 24 22:10:01 CEST 2013
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).
More information about the isabelle-dev