[isabelle] Isabelle2021-1-RC2 available for testing

Dear Isabelle users,

please see https://isabelle.sketis.net/website-Isabelle2021-1-RC2 and
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).


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.