[isabelle-dev] [ExternalEmail] afp-2016-1 branch

Gerwin.Klein at data61.csiro.au Gerwin.Klein at data61.csiro.au
Wed Nov 30 12:46:17 CET 2016


As of 61df7b06f131 there is now a new branch afp-2016-1, which will become the new afp release branch when Isabelle2016-1 is released.

Any further changes to afp-devel will now by default not show up in this branch.

Cheers,
Gerwin

> On 28 Nov 2016, at 6:08 PM, gerwin.klein at data61.csiro.au wrote:
> 
> 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev




More information about the isabelle-dev mailing list