From: Makarius <email@example.com>
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: Jul 15 2022 at 23:21 UTC