Email Gateway (Jul 18 2023 at 09:30): Email Gateway (Jul 18 2023 at 09:30):From: Makarius <makarius@sketis.net>
There will be a deadline extension of approx. 2 weeks: due to the ITP event in
the middle of the release phase and too many technical points still to be
settled, and the summer vacations in the northern hemisphere.
So the planned release date is early Sep-2023. See also
https://isabelle-dev.sketis.net/phame/post/view/68/release_candidates_for_isabelle2023
Makarius
Last updated: Jan 04 2025 at 20:18 UTC