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!
This is great! Thank you very much for this update.
I've noted that the generated HTML has two kinds of links: one that points to something like
and the second kind points to
with XXXX and YYYY integers. The last kind seem to appear for
items declared inside a locale. Is this the reason of the
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