Email Gateway (Dec 16 2025 at 21:36): Email Gateway (Dec 16 2025 at 21:36):From: Makarius <makarius@sketis.net>
This is the last notice concerning the final release of Isabelle2025-1: RC4
turned out a pretty good approximation, so everything is ready for liftoff,
tomorrow 17-Dec-2025 approx. 11:00 Royal Bavarian Time.
It takes several hours to build everything, and afterwards 1-2 days until all
mirrors are up-to-date. Then the announcement can be published on isabelle-users.
Makarius
Email Gateway (Dec 17 2025 at 20:43):From: Makarius <makarius@sketis.net>
On 16/12/2025 22:35, Makarius wrote:
This is the last notice concerning the final release of Isabelle2025-1: RC4
turned out a pretty good approximation, so everything is ready for liftoff,
tomorrow 17-Dec-2025 approx. 11:00 Royal Bavarian Time.It takes several hours to build everything, and afterwards 1-2 days until all
mirrors are up-to-date. Then the announcement can be published on isabelle-users.
Everything is finished already, see
https://sketis.net/2025/release-candidates-for-isabelle2025-1 for the final
wrap-up. We are still waiting for the mirror Potsdam, NY --- it should be
ready tomorrow.
The tentative schedule for Isabelle2026 (October 2026) is already here:
https://sketis.net/2025/plan-for-isabelle2026-october-2026 --- 10 months after
the current release. Earlier is not possible due to the summer vacation and
FLoC/ITP right before it. That shall be also the "40 Years Release", and needs
special attention.
Makarius
Last updated: Jan 07 2026 at 16:34 UTC