Email Gateway (Aug 22 2022 at 17:43): Email Gateway (Aug 22 2022 at 17:43):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
the coming Isabelle2018 release is scheduled for August 2018. A fairly
stable release candidate is now available for continued testing and
actual use: https://isabelle.in.tum.de/website-Isabelle2018-RC3
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: Apr 23 2024 at 16:19 UTC