Email Gateway (Nov 01 2021 at 19:35): Email Gateway (Nov 01 2021 at 19:35):From: Makarius <makarius@sketis.net>
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
Last updated: Jan 04 2025 at 20:18 UTC