Email Gateway (Aug 22 2022 at 17:55): Email Gateway (Aug 22 2022 at 17:55):From: Makarius <makarius@sketis.net>
This is the very last chance to do some testing, before the Isabelle2018
release becomes final in approx. 24h.
Makarius
Email Gateway (Aug 22 2022 at 18:13):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the Isabelle2018 release is getting fairly close now. Presumably the
last release candidate is available from
https://isabelle.in.tum.de/website-Isabelle2018-RC4
This corresponds to the Archive of Formal Proofs for Isabelle2018
https://bitbucket.org/isa-afp/afp-2018
The ongoing release process is continuously documented on my blog:
https://sketis.net/2018/release-candidates-for-isabelle2018
When discussing observations about release candidates, please provide
a mail Subject line that fits to the content, not just a clone of the
announcement.
As we are approaching the final release, testing and reporting problems
becomes very important. After the release has been published, it is too
late to change anything (before the next release in approx. 10 months).
Makarius
Last updated: May 06 2024 at 20:16 UTC