[isabelle-dev] Status of afp-devel wrt. release?
Gerwin.Klein at nicta.com.au
Sun Feb 14 00:00:55 CET 2016
The official status is: afp-2016 is now forked and preparing for release.
Any new changes to afp-devel will stay on afp-devel by default and it is fine to move on with isabelle-dev.
Everything I’m aware of on afp-2016 is concluded, but if anyone still has change sets that really need to move over to afp-2016, please let me know.
> On 13.02.2016, at 05:43, Makarius <makarius at sketis.net> wrote:
> What is the formal status of the afp-devel wrt. the Isabelle2016 release?
> It would be nice to have a clear situation, which AFP repository corresponds to isabelle-dev and which to Isabelle2016.
> I am about to merge isabelle-release back to isabelle-dev, even before the final tagging for Isabelle2016 happens.
> This means isabelle-dev could move again at full speed.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
More information about the isabelle-dev