Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Last chance for testing: Isabelle2023-RC5

view this post on Zulip Email Gateway (Sep 03 2023 at 19:09):

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

this is really the last chance for testing
https://isabelle.in.tum.de/website-Isabelle2023-RC5 --- before everything
becomes final until the next release.

See also
https://isabelle-dev.sketis.net/phame/post/view/68/release_candidates_for_isabelle2023

Especially Windows users should now take a lot, and hopefully confirm that
everything works fine.

Makarius

Last updated: Jan 04 2025 at 20:18 UTC