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.kl...@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-...@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