Email Gateway (Jul 26 2023 at 21:30): Email Gateway (Jul 26 2023 at 21:30):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
first things first: final Isabelle releases are final and immutable. So the
time for testing is now, before the end of the release process (early
September).
In continuation of the blog entry
https://isabelle-dev.sketis.net/phame/post/view/68/release_candidates_for_isabelle2023
the release train has arrived at Isabelle2023-RC2. Notable changes are
reported in the blog.
Despite hardly any public discussion of release candidates so far, a few
important things have happened internally. Now is the turn of everyone else on
this channel: We need more serious testing.
As usual, any feedback about Isabelle release candidates should be posted with
a meaningful
Subject --- not just a clone of the announcement.
As I will attend ITP 2023 in Białystok next week, there will be also
opportunities to show me things in person.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC