On 23/10/16 18:18, Makarius wrote: > 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.
That is today. I will prepare Isabelle2016-1-RC1 in the evening of Friday 28-Oct-2016. The isabelle-dev repository will remain open until Monday 31-Oct-2016, and then fork to https://bitbucket.org/isabelle_project/isabelle-release Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
