Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Pre-final Isabelle2022-RC4 is now available

Email Gateway (Oct 18 2022 at 12:14):

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

we are approaching the end of the release process for Isabelle2022. Current
Isabelle2022-RC is available from
https://isabelle.sketis.net/website-Isabelle2022-RC4

This is the last chance to test it and report problems that should be
addressed in this release. There is 1 week time for that. The subsequent
release will be in 8-10 months.

Further details are on the continuously updated blog entry
https://isabelle-dev.sketis.net/phame/post/view/58/release_candidates_for_isabelle2022

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

Makarius

Last updated: Jan 04 2025 at 20:18 UTC