Email Gateway (Apr 24 2023 at 09:27): Email Gateway (Apr 24 2023 at 09:27):From: Makarius <makarius@sketis.net>
We need to start thinking about the next official Isabelle release, approx. 10
months after Isabelle2022 from 25-Oct-2022.
The current sketch for the schedule is as follows:
Isabelle2023-RC0 06-Jun-2023
Isabelle2023-RC1 04-Jul-2023
ITP 2023 31-Jul..04-Aug-2023
Isabelle2023 final 15-Aug-2023
I still have many small and big things to be finished --- in particular the
new "isabelle build" for distributed / inhomogeneous compute clusters.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Dec 21 2024 at 16:20 UTC