Email Gateway (Aug 22 2022 at 19:43): Email Gateway (Aug 22 2022 at 19:43):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
this is another approximation of the forthcoming Isabelle2019 release,
which is ultimately scheduled for the first half of June 2019: see
http://isabelle.in.tum.de/website-Isabelle2019-RC3 and the corresponding
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.
There are about 2 weeks left to sort out remaining problems. At mid
Jun-2019 the status-quo will become final.
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 25 2024 at 08:20 UTC