Email Gateway (Aug 22 2022 at 12:38): 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: Apr 26 2024 at 01:06 UTC