Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC3 available for testing

view this post on Zulip Email Gateway (Jan 24 2021 at 18:39):

From: Makarius <>
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

The current release candidate website is

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).


Last updated: Dec 05 2021 at 23:19 UTC