From: Makarius <makarius@sketis.net>
Dear Isabelle users,
after 2 more weeks of the rather stable RC2, we now have
Isabelle2021-RC3 with several relevant changes, see also the blog entry
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021
The current release candidate website is
https://isabelle.sketis.net/website-Isabelle2021-RC3
There are a few weeks left before Isabelle2021 will become final and
unchangeable. The best time to test and report observations is now.
Any feedback about release candidates should be posted with a meaningful
Subject including the version (not just a clone of this announcement).
Makarius
Last updated: Jan 04 2025 at 20:18 UTC