Email Gateway (Sep 12 2025 at 14:14): Email Gateway (Sep 12 2025 at 14:14):From: Makarius <makarius@sketis.net>
Here is a public copy
https://sketis.net/2025/plan-for-isabelle2025-1-december-2025 of the internal
blog entry
https://isabelle-dev.sketis.net/phame/post/view/93/plan_for_isabelle2025-1_release
So we are need to get ready soon, and everything needs to be finished before
15-Dec-2025, with the usual 5-6 weeks of actual release process before that.
In particular, AFP needs to get on track as well, or it will easily be
postponed until Jan-2026.
Makarius
Last updated: Sep 15 2025 at 08:27 UTC