Email Gateway (Sep 06 2026 at 20:31): Email Gateway (Sep 06 2026 at 20:31):From: Makarius <makarius@sketis.net>
Reminder: the release plan is here
https://sketis.net/2025/plan-for-isabelle2026-october-2026
I have shifted the start with RC1 5 days further ahead: 19-Sep-2026, and the
critical fork-point 2 weeks later as before, 03-Oct-2026. Thus we will be
mostly in sync with the AFP fork-point.
So there are now < 2 weeks left to get everything ready for RC1. Then there
will be precisely 2 weeks to react on feedback by users, on the regular
isabelle-dev repository.
After 03-Oct-2026, any further changes that are really relevant for the
release need to be sent to me via e-mail (from "hg export" or "hg bundle").
Makarius
Email Gateway (Oct 13 2026 at 22:26):From: Makarius <makarius@sketis.net>
The plan for today: Isabelle2026-RC4 with deadline approx. 13:00 Royal
Bavarian Time. It could well be the last RC, as far as I am concerned.
Makarius
Email Gateway (Oct 14 2026 at 21:31):From: Makarius <makarius@sketis.net>
On 14/10/2026 00:26, Makarius wrote:
The plan for today: Isabelle2026-RC4 with deadline approx. 13:00 Royal
Bavarian Time. It could well be the last RC, as far as I am concerned.
Everything is finished and published. Isabelle/7c3c7e030c7d is a merge of
isabelle-release + isabelle-dev: that also means that incidents on
isabelle-dev exposed now might indicate a remaining problem on isabelle-release.
We now have approx. 10 days until the final and unchangeable Isabelle2026
release. I hope that the situation remains as stable and settled as it appears
right now ...
Makarius
Last updated: Oct 25 2026 at 22:21 UTC