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.
> 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.
> isabelle-dev mailing list
isabelle-dev mailing list