[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Mon Oct 31 14:35:53 CET 2016

On 28/10/16 00:10, Makarius wrote:
> The isabelle-dev repository will remain open until Monday 31-Oct-2016,
> and then fork to https://bitbucket.org/isabelle_project/isabelle-release

The fork will happen in approx. 4h. Afterwards, changes need to be sent
by email to me.

It is also important to make sure that material meant for this release
is not pushed at the wrong time in the wrong place. The isabelle-dev
post-release state will look again like this:


More information about the isabelle-dev mailing list