Email Gateway (Sep 19 2026 at 21:57): Email Gateway (Sep 19 2026 at 21:57):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
according to the plan
https://sketis.net/2025/plan-for-isabelle2026-october-2026 we are now ready to
start the release process for Isabelle2026 (October 2026). See also the
continuously updated blog post
https://sketis.net/2026/release-candidates-for-isabelle2026
The current release candidate is available from
https://isabelle.in.tum.de/website-Isabelle2026-RC1
A corresponding version of the Archive of Formal Proofs is
https://foss.heptapod.net/isa-afp/afp-devel/-/commit/9899990d74b6
Almost everything is ready for testing. See the NEWS and ANNOUNCE files as usual.
We now have approx. 4-5 weeks of thorough testing of release candidates, until
a final and unchangeable release will emerge.
Any feedback about Isabelle release candidates should be posted with a
meaningful Mail subject, not just a clone of this announcement.
Makarius
Last updated: Oct 08 2026 at 21:07 UTC