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