Email Gateway (Aug 12 2023 at 20:57): Email Gateway (Aug 12 2023 at 20:57):From: Gerwin Klein <kleing@unsw.edu.au>
Now that the release candidate Isabelle2023-RC3 is out, the AFP will also soon fork off the next release version.
The fork point will be on 20 Aug 2023.
If you have any changes, updates, or improvements to your AFP entries and you would like to see those changes included in the AFP 2023 release, please push them to the AFP development repositoy as usual before that date.
New submissions should still target Isabelle2022 until the 2023 release is finalised and announced.
Cheers,
Gerwin
Email Gateway (Aug 20 2023 at 13:45):From: Gerwin Klein <kleing@unsw.edu.au>
This fork has now happened and work on afp-devel can continue as usual together with the isabelle development version.
Everything before afp-devel@99ccea14b2bf will be included in the AFP 2023 release. Commits after 99ccea14b2bf will remain in afp-devel until next time.
Cheers,
Gerwin
Last updated: Apr 29 2024 at 01:08 UTC