[isabelle-dev] Plan for Isabelle2024 release

Makarius makarius at sketis.net
Tue Jan 9 11:13:52 CET 2024

This is a reminder of the plan for the next 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.


More information about the isabelle-dev mailing list