Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC2 available for testing


view this post on Zulip Email Gateway (Jan 10 2021 at 15:53):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

after 2 weeks of testing RC1 over the Christmas break, we now have
Isabelle2021-RC2 with several important changes, see also the blog entry
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021

The current release candidate website is
https://isabelle.in.tum.de/website-Isabelle2021-RC2

There is approx. 1 month left before Isabelle2021 will become final and
unchangeable. The best time to test and report observations is now.

Any feedback about release candidates should be posted with a meaningful
Subject including the version (not just a clone of this announcement).

Makarius


Last updated: Dec 05 2021 at 23:19 UTC