Email Gateway (Nov 07 2021 at 19:38): Email Gateway (Nov 07 2021 at 19:38):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
please see https://isabelle.sketis.net/website-Isabelle2021-1-RC2 and
https://isabelle-dev.sketis.net/phame/post/view/53/release_candidates_for_isabelle2021-1
for further progress on the release process.
The most notable change is HTML presentation with support for semantic hyperlinks!
Moreover, there are some improvements of Poly/ML on native ARM64, but it is
still not finished.
Any feedback about release candidates should be posted with a meaningful
Subject (not just a clone of the announcement).
Makarius
Last updated: Jan 04 2025 at 20:18 UTC