On 12/10/16 11:36, Makarius wrote: > 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.
We are more or less on schedule. Isabelle2016-1-RC1 is anticipated towards the end of the week (around 28-Oct-2016). The isabelle-rev repository will remain open a few days afterwards to facilitate immediate reactions by early adopters. A bit later there will be the usual fork to https://bitbucket.org/isabelle_project/isabelle-release and further changes need to be really important (and sent to me via email). > Are there any non-trivial chunks still in the commit/push pipeline that > need special considerations? There have been various smaller and bigger pushes in the meantime. Please make sure that NEWS and CONTRIBUTORS are updated as well. Anything else still left in the pipeline? Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev