Email Gateway (Oct 02 2022 at 18:35): Email Gateway (Oct 02 2022 at 18:35):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
with current Isabelle2022-RC3 from
https://isabelle.sketis.net/website-Isabelle2022-RC3 we are approaching the
last stage of the release process. After 2-3 weeks, the release train departs
and cannot be called back.
A corresponding version of the Archive of Formal Proofs is
https://isabelle.sketis.net/repos/afp-devel/rev/a74db29363f5 although AFP will
soon get its own repository clone afp-2022.
Further details are on the continuously updated blog entry
https://isabelle-dev.sketis.net/phame/post/view/58/release_candidates_for_isabelle2022
Any feedback about Isabelle release candidates should be posted with a
meaningful Subject (not just a clone of the announcement).
Makarius
Last updated: Apr 26 2024 at 08:19 UTC