Email Gateway (Apr 19 2024 at 06:48): Email Gateway (Apr 19 2024 at 06:48):From: Gerwin Klein <cl-isabelle-users@lists.cam.ac.uk>
Now that the release candidate Isabelle2024-RC2 is out, the AFP will also soon fork off the next release version.
The fork point will be on Sunday, 21 Apr 2024.
If you have any changes, updates, or improvements to your AFP entries and you would like to see those changes included in the AFP 2024 release, please push them to the AFP development repository as usual before that date.
New submissions should still target Isabelle2023 until the 2024 release is finalised and announced.
Cheers,
Gerwin
Email Gateway (Apr 22 2024 at 03:35):From: Gerwin Klein <cl-isabelle-users@lists.cam.ac.uk>
This fork has now happened and work on afp-devel can continue as usual together with the isabelle development version.
Everything before and including afp-devel@3133b6848037 will be included in the AFP 2024 release. Commits after 3133b6848037 will remain in afp-devel until next time.
Cheers,
Gerwin
Last updated: May 05 2024 at 04:19 UTC