From: Makarius <email@example.com>
Dear Isabelle users,
we are approx. half-way through the release process for Isabelle2021: RC3 is
to be expected within a few days, when the latest Java updates become available.
The ongoing release process is documented on this blog entry:
This includes current download links (which I have changed just now to avoid
an unstable server).
Last updated: Jan 25 2022 at 02:35 UTC