Email Gateway (Oct 05 2026 at 21:21): Email Gateway (Oct 05 2026 at 21:21):From: Makarius <makarius@sketis.net>
Subject: [isabelle] Isabelle2026-RC3 available for serious testing and early applications
Dear Isabelle users,
the Isabelle2026 release train has arrived at station "RC3", see also
https://sketis.net/2026/release-candidates-for-isabelle2026 for details. A few
minor technical problems still need to be sorted out, and some documentations
needs final updates.
The main Isabelle website is https://isabelle.in.tum.de/website-Isabelle2026-RC3
We now also have regular afp-2026 to go with it:
https://foss.heptapod.net/isa-afp/afp-2026
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