From: Makarius <email@example.com>
Dear Isabelle users,
after 2 weeks of testing RC1 over the Christmas break, we now have
Isabelle2021-RC2 with several important changes, see also the blog entry
The current release candidate website is
There is approx. 1 month 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).
Last updated: Dec 05 2021 at 23:19 UTC