Email Gateway (Jul 02 2023 at 13:15): Email Gateway (Jul 02 2023 at 13:15):From: Makarius <makarius@sketis.net>
This is a reminder that we are approaching the release process for Isabelle2023.
For details, see
https://isabelle-dev.sketis.net/phame/post/view/68/release_candidates_for_isabelle2023
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.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Apr 27 2024 at 12:25 UTC