Email Gateway (Aug 22 2022 at 19:49): Email Gateway (Aug 22 2022 at 19:49):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
we are getting one step closer to the Isabelle2019 release, which is
ultimately scheduled for the first half of June 2019.
The consolidated release candidate Isabelle2019-RC2 is now available
from https://isabelle.in.tum.de/website-Isabelle2019-RC2 -- it
corresponds to AFP version
https://isabelle.sketis.net/repos/afp-devel/rev/2170a6647f04
The blog entry
https://sketis.net/2019/release-candidates-for-isabelle2019 is
continuously updated to follow the release process.
Everything is ready and pretty stable. We need more serious testing to
produce counter-examples to this claim.
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 30 2024 at 08:19 UTC