Email Gateway (Feb 10 2025 at 12:44): Email Gateway (Feb 10 2025 at 12:44):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the Isabelle2025 release train continues on schedule, see again
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025
for ongoing details.
Apart from some linting and minor consolidation, there have been few changes
so far. Maybe not many users have started testing yet. When the release is
finally published, there will be no further "patches" etc.
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