Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Plan for Isabelle2024 release

view this post on Zulip 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

view this post on Zulip 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: Apr 27 2024 at 20:14 UTC