From: Makarius <firstname.lastname@example.org>
Dear Isabelle users,
the end of the Isabelle2021 release process is getting pretty close.
Presumably the last release candidate is
and 4 for further details.
Any feedback about release candidates should be posted with a meaningful
Subject including the version (not just a clone of this announcement).
People who have tested earlier release candidates should definitely follow
this one, otherwise some last-minute problems might remain undetected.
Last updated: Dec 08 2021 at 08:24 UTC