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.
Email Gateway (Dec 03 2025 at 04:40):From: Gerwin Klein <cl-isabelle-users@lists.cam.ac.uk>
On 28 Nov 2025, at 08:51, Gerwin Klein (via cl-isabelle-users Mailing List) [cl-isabelle-users-bounces@lists.cam.ac.uk] <forwarded_for@cse.unsw.edu.au> wrote:
The Isabelle2025-1 release is approaching, which means that the AFP will fork off for the 2025-1 version soon.
This fork has now happened.
You can continue to make changes to afp-devel. They will become visible on the website in the release after afp-2025-1.
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: Jan 11 2026 at 16:28 UTC