Email Gateway (Feb 01 2021 at 14:46): Email Gateway (Feb 01 2021 at 14:46):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
we are now approx. 2 weeks before the final (unchangeable) release of
Isabelle2021.
The release train has arrived at Isabelle2021-RC4, see also
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021
and https://isabelle.sketis.net/website-Isabelle2021-RC4.
Any feedback about release candidates should be posted with a meaningful
Subject including the version (not just a clone of this announcement).
As usual, I do have the ambition to deliver a decent approximation of
perfection, regardless of structural and systemic sloppiness surrounding us.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC