Email Gateway (Nov 19 2025 at 19:46): Email Gateway (Nov 19 2025 at 19:46):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
a consolidated release candidate of Isabelle2025-1 (December 2025) is
available from https://isabelle.in.tum.de/website-Isabelle2025-1-RC2 --- there
have been a lot of minor 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/28b3dacf4cf9
The NEWS and ANNOUNCE files have been slightly updated, but the pending
documentation updates are still waiting in the queue.
Any feedback about Isabelle release candidates should be posted with a
meaningful Mail subject, not just a clone of this announcement.
Side-remark: there are presently no hgweb services from my server
https://isabelle.sketis.net --- due to massive attacks by dumb AI bots. Being
busy with the Isabelle release, I cannot look at the details of the hgweb
implementation right now to recover some sanity on the web eventually (the
plan is to support hg clone/pull operations without browsing).
Makarius
Last updated: Dec 02 2025 at 16:32 UTC