It sounds like the time for the AFP release fork has now come as well. I’m in Garching Tue+Thu afternoon and could do that fork this week.
Cheers, Gerwin > On 27 Nov 2016, at 9:05 PM, Makarius <makar...@sketis.net> wrote: > > In Isabelle/1c0b93961cb1 I have merged the isabelle-release repository > back into isabelle-dev, this means that consolidations of release > candidates are effective on the post-release branch. > > Semantically, we have still a fork of both repositories, until the final > release of Isabelle2016-1 (which should happen within the next 2 weeks). > > The status of AFP is still unclear to me. The AFP editors need to come > up with a plan how to proceed. > > > Makarius > > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev