Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2021-RC5 available for applications


view this post on Zulip Email Gateway (Feb 08 2021 at 21:43):

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

the end of the Isabelle2021 release process is getting pretty close.
Presumably the last release candidate is
https://isabelle.sketis.net/website-Isabelle2021-RC5

See again
https://isabelle-dev.sketis.net/phame/post/view/28/release_candidates_for_isabelle2021
and 4 for further details.

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

People who have tested earlier release candidates should definitely follow
this one, otherwise some last-minute problems might remain undetected.

Makarius


Last updated: Dec 08 2021 at 08:24 UTC