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 repository
> back into isabell
Since the Isabelle2016-1 release is approaching, we will be preparing the new
afp-2016-1 release branch as well.
If there are any urgent changes or updates to afp-devel that still need to go
into afp-2016-1, please let me know. I am planning to fork off the branch in
two days. Changes after tha