Email Gateway (Aug 22 2022 at 19:45): Email Gateway (Aug 22 2022 at 19:45):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the Isabelle2019 release is scheduled for mid June 2019, approx. 5-6
weeks from now. This is a strict deadline, because I will be on travel
afterwards.
A fairly stable Isabelle2019-RC1 is now available from
https://isabelle.in.tum.de/website-Isabelle2019-RC1 -- it corresponds to
AFP/d50417d0ae64 (e.g. see
https://isabelle.sketis.net/repos/afp-devel/rev/d50417d0ae64).
The blog entry
https://sketis.net/2019/release-candidates-for-isabelle2019 is
continuously updated to follow the release process.
When discussing release candidates, please provide a mail Subject line
that fits to the content, not just a clone of the announcement.
As usual, the best time to start testing is right now!
Makarius
Last updated: Nov 21 2024 at 12:39 UTC