Email Gateway (Dec 27 2020 at 19:15): Email Gateway (Dec 27 2020 at 19:15):From: Makarius <makarius@sketis.net>
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
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021
The current release candidate is
https://isabelle.in.tum.de/website-Isabelle2021-RC1
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.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC