Email Gateway (Aug 22 2022 at 19:58): Email Gateway (Aug 22 2022 at 19:58):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the Isabelle2019 release will become final in approx. 10 days.
Presumably the last release candidate is now available from
https://isabelle.in.tum.de/website-Isabelle2019-RC4 -- it corresponds to
https://isabelle.sketis.net/repos/afp-2019
The blog entry
https://sketis.net/2019/release-candidates-for-isabelle2019 is
continuously updated to follow the release process, it also includes a
list of notable changes.
People who have tried earlier release candidates should move on to this
latest update: it is the last chance to report any remaining problems,
or newly introduced problems due to last-minute changes.
When discussing release candidates, please provide a mail Subject line
that fits to the content, not just a clone of the announcement.
Makarius
Last updated: Apr 18 2024 at 20:16 UTC