Email Gateway (Dec 01 2025 at 15:48): Email Gateway (Dec 01 2025 at 15:48):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
a further consolidated release candidate of Isabelle2025-1 (December 2025) is
now available from https://isabelle.in.tum.de/website-Isabelle2025-1-RC3 ---
there have been some more changes that are listed on the blog entry
https://sketis.net/2025/release-candidates-for-isabelle2025-1
A corresponding version of the Archive of Formal Proofs is
https://foss.heptapod.net/isa-afp/afp-devel/-/commit/3af26ffddf1b --- there
will be a proper release of afp-2025-1 soon.
All known problems have been addressed. Thus we are entering the final stage
of testing, which lasts approx. 2 weeks. People who have tested previous
release candidates should follow RC3. People who have not participated in
testing yet, should try RC3 now.
As usual, "final release of Isabelle" really means final / immutable /
unchangeable: problem reports that arrive too late are only relevant for a
later release.
Any feedback about Isabelle release candidates should be posted with a
meaningful Subject line, not just a clone of this announcement.
Makarius
Last updated: Dec 02 2025 at 16:32 UTC