[isabelle-dev] The coming release

[Makarius]

On Mon, 2 Sep 2013, Makarius wrote:

> The first release candidates of Isabelle2013-1 will probably happen in 
> the first or second week of October.

How is the general situation?  And especially the situation for HOL-BNF?

Is it feasible to target the first week of October for Isabelle2013-1-RC1?

This means the usual fork of the main repository to 
https://bitbucket.org/isabelle_project/isabelle-release/ with further 
amendments of important issues only via emailed changesets.


 	Makarius