[isabelle-dev] Towards the Isabelle2023 release
makarius at sketis.net
Mon Apr 24 11:27:24 CEST 2023
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:
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.
More information about the isabelle-dev