[isabelle-dev] The coming release

Makarius makarius at sketis.net
Tue Sep 24 20:35:08 CEST 2013

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.


More information about the isabelle-dev mailing list