Re: [isabelle-dev] isabelle-dev repository status

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 wrote: > > In Isabelle/1c0b93961cb1 I have merged the isabelle-release

[isabelle-dev] isabelle-dev repository status

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