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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
