Email Gateway (Jan 19 2021 at 15:44): Email Gateway (Jan 19 2021 at 15:44):From: Makarius <makarius@sketis.net>
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:
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021
This includes current download links (which I have changed just now to avoid
an unstable server).
Makarius
Last updated: Jan 04 2025 at 20:18 UTC