Email Gateway (Nov 27 2025 at 21:51): Email Gateway (Nov 27 2025 at 21:51):From: Gerwin Klein <cl-isabelle-users@lists.cam.ac.uk>
The Isabelle2025-1 release is approaching, which means that the AFP will fork off for the 2025-1 version soon.
The time for the fork will be end of Monday anywhere on Earth.
Changes made to afp-devel before that time will become visible in AFP 2025-1, changes made after that time will remain in afp-devel for the release after that.
Cheers,
Gerwin
This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.
Last updated: Dec 02 2025 at 16:32 UTC