Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-1-RC2 available for testing


view this post on Zulip 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: Jul 15 2022 at 23:21 UTC