[isabelle-dev] afp-2016-1 branch

[Gerwin.Klein]

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 that will not make it into the release.

Cheers,
Gerwin

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

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

[Gerwin.Klein]

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 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