[isabelle-dev] Status of afp-devel wrt. release?

Gerwin Klein 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.

Cheers,
Gerwin



> 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.
>
>
>       Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


________________________________

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