Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC1 available for testing

view this post on Zulip Email Gateway (Dec 27 2020 at 19:15):

From: Makarius <>
Dear Isabelle users,

2021 will presumably be a special year with 2 Isabelle releases. The next one
is scheduled for 15-Feb-2021: thus we have approx. 7 weeks of testing and
finalization, including various open questions about external components (e.g.
Java on macOS Big Sur).

The ongoing release process is continuously documented on the blog entry

The current release candidate is

Any feedback about release candidates should be posted with a meaningful
Subject (not just a clone of the announcement).

I will also go through old posts from the past 8-12 weeks, to ensure that
nothing remains unanswered. In the next few days, I will be unavailable, though.


Last updated: Sep 28 2021 at 20:18 UTC