Email Gateway (Dec 08 2025 at 20:02): Email Gateway (Dec 08 2025 at 20:02):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the release process for Isabelle2025-1 (December 2025) is getting close to its
end.
Before everything becomes final and unchangeable, we have another release
candidate: https://isabelle.in.tum.de/website-Isabelle2025-1-RC4 --- there
have been notable changes that are listed on the blog entry
https://sketis.net/2025/release-candidates-for-isabelle2025-1
There is already an official release version of the Archive of Formal Proofs:
https://foss.heptapod.net/isa-afp/afp-2021-1
People who have tested previous release candidates should follow RC4. People
who have not participated in testing yet, should try RC4 now. This is probably
the last call.
Any feedback about Isabelle release candidates should be posted with a
meaningful Subject line, not just a clone of this announcement.
Makarius
Email Gateway (Dec 08 2025 at 22:58):From: Makarius <makarius@sketis.net>
On 08/12/2025 21:02, Makarius wrote:
Before everything becomes final and unchangeable, we have another release
candidate: https://isabelle.in.tum.de/website-Isabelle2025-1-RC4 --- there
have been notable changes that are listed on the blog entry https://
sketis.net/2025/release-candidates-for-isabelle2025-1
The TUM website is presently in bad shape, maybe due to evil "ailiens"
attacking it.
Here is an alternative download site: https://files.sketis.net/Isabelle2025-1-RC4
Makarius
Last updated: Dec 21 2025 at 20:24 UTC