[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Wed Oct 12 11:36:38 CEST 2016

After the public appearance of Isabelle2016-1-RC0 some days ago, we are
still in consolidation mode for the Isabelle repository -- lets say at
least 2 more weeks.

Isabelle2016-1-RC1 will still be based on the isabelle-dev repository,
to simplify immediate reactions on suggestions and observations by testers.

The repository fork to isabelle-release will happen after RC1.

I am presently still stuck updating the Admin area.

Are there any non-trivial chunks still in the commit/push pipeline that
need special considerations?


More information about the isabelle-dev mailing list