[isabelle] Isabelle2021-1-RC2 available for testing



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




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