Email Gateway (Feb 03 2025 at 19:22): Email Gateway (Feb 03 2025 at 19:22):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
we are now ready to start the release process for Isabelle2025 (March 2025).
See also the continuously updated blog entry
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025
The current release candidate is available from
https://isabelle.in.tum.de/website-Isabelle2025-RC1
A corresponding version of the Archive of Formal Proofs is
https://isabelle.sketis.net/repos/afp-devel/rev/634f3bc5f94b
The NEWS and ANNOUNCE files are already up-to-date, but some documentation
still requires update.
The rules of the game are the same as in the past few decades: NOW is the
window of opportunity to discuss observations and problems, in order to get
changes into the code-base. The final release remains unchangeable, until the
next one (8-10 months later).
Any feedback about Isabelle release candidates should be posted with a
meaningful Subject, not just a clone of this announcement.
Makarius
Last updated: Mar 09 2025 at 12:28 UTC