[isabelle-dev] Towards the release

[Makarius]

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:
http://isabelle.in.tum.de/repos/isabelle/rev/5fb86150a579


	Makarius