[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
https://isabelle-dev.sketis.net/phame/post/view/53/release_candidates_for_isabelle2021-1


The current release candidate is
https://isabelle.sketis.net/website-Isabelle2021-1-RC1

A corresponding version of AFP is
https://isabelle.sketis.net/repos/afp-devel/rev/c3daa97ba53c


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.


	Makarius




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