Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Release Candidates for Isabelle2023

view this post on Zulip Email Gateway (Jul 02 2023 at 13:15):

From: Makarius <>
This is a reminder that we are approaching the release process for Isabelle2023.

For details, see

In particular, Isabelle2023-RC1 is planned for 11-Jul-2023 --- as usual the
repository fork will happen a bit later, approx. for Isabelle2023-RC2/RC3.

There are approx. 10 days left to wrap up the things that are important for
the release, and put things that are not important into a state where they
don't get into the way.


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC