Email Gateway (May 02 2024 at 18:45): Email Gateway (May 02 2024 at 18:45):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
with Isabelle2024-RC3 we are getting pretty close to the final release: this
could well be the last release candidate, and the last chance to get
amendments into final Isabelle2024. People who have tested RC1 or RC2 should
update to RC3 now, to avoid bad surprises in 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-RC3
together with https://foss.heptapod.net/isa-afp/afp-2024
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 19 2024 at 04:18 UTC