Email Gateway (Apr 18 2024 at 14:10): Email Gateway (Apr 18 2024 at 14:10):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the release process for Isabelle2024 (May 2024) continues with
Isabelle2024-RC2, which is already forked from the isabelle-dev repository so
only really important changes will happen until the final version.
See the updated blog post
https://isabelle-dev.sketis.net/phame/post/view/76/release_candidates_for_isabelle2024
and in particular https://isabelle.in.tum.de/website-Isabelle2024-RC2
As usual, any feedback about Isabelle release candidates should be posted with
a meaningful Subject (not just a clone of the announcement).
Makarius
Last updated: May 05 2024 at 04:19 UTC