[isabelle-dev] The coming release
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