Email Gateway (Feb 19 2025 at 15:01): Email Gateway (Feb 19 2025 at 15:01):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the release train for Isabelle2025 (March 2025) has arrived at the station
Isabelle2025-RC3, see again
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025
The website is https://isabelle.in.tum.de/website-Isabelle2025-RC3 with the
usual downloads for Linux (Intel), Linux (ARM), macOS (Intel and ARM), Windows
(Intel).
This release candidate is sufficiently finished to be ready for applications.
There will be 3 more weeks until everything becomes unchangeable, until the
next release in 8-10 months.
Any feedback about Isabelle release candidates should be posted with a
meaningful Subject, not just a clone of the announcement.
Makarius
Last updated: Mar 09 2025 at 12:28 UTC