Email Gateway (Oct 07 2025 at 18:33): Email Gateway (Oct 07 2025 at 18:33):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
2025 is a year with two Isabelle releases: after Isabelle2025 (March 2025)
there will be Isabelle2025-1 (December 2025). See the blog entry
https://sketis.net/2025/release-candidates-for-isabelle2025-1 for
documentation of the ongoing release process.
Approx. 4 weeks before the first release candidate, there is now an informal
snapshot for early experimentation:
https://isabelle.in.tum.de/website-Isabelle2025-1-RC0
This opens a window of opportunity to provide feedback, until the final
release becomes unchangeable (approx. 15-Dec-2025). As usual, feedback
messages should use a proper Subject line and not just a clone of this
announcement.
Makarius
Last updated: Oct 08 2025 at 20:22 UTC