Email Gateway (Jan 09 2024 at 10:14): Email Gateway (Jan 09 2024 at 10:14):From: Makarius <makarius@sketis.net>
This is a reminder of the plan for the next release:
https://isabelle-dev.sketis.net/phame/post/view/69/plan_for_isabelle2024_release
The hot phase of the release process is scheduled for 03-Apr..15-May-2023.
Now is a good time to think about what needs to be "in" the release.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Jan 09 2024 at 10:19):From: Makarius <makarius@sketis.net>
03-Apr..15-May-2024, of course.
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