Stream: Archive Mirror: Isabelle Users Mailing List

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

Email Gateway (Aug 22 2022 at 12:38):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
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

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.

Last updated: Nov 21 2024 at 12:39 UTC