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 <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: Sep 28 2021 at 20:18 UTC