Email Gateway (Jul 14 2026 at 22:24): Email Gateway (Jul 14 2026 at 22:24):From: Makarius <makarius@sketis.net>
As a reminder, here is the given plan for the coming release
https://sketis.net/2025/plan-for-isabelle2026-october-2026 (posted 17-Dec-2025).
Nobody has disagreed with that. So hopefully everybody agrees with it, and
understands the consequences.
Makarius
Last updated: Aug 05 2026 at 21:11 UTC