[isabelle-dev] The coming release

Makarius 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 mailing list