[isabelle] Isabelle2021-1-RC1 available for testing

Dear Isabelle users,

2021 is a special year with 2 Isabelle releases. The next one is scheduled for
15-Dec-2021 (or a bit earlier). So we have approx. 6 weeks of testing and
finalization. Moreover, a few important things are still in the pipeline.

The release process is continuously documented on the blog entry

The current release candidate is

A corresponding version of AFP 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 months, to ensure that
nothing remains unanswered.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.