[isabelle-dev] Plan for Isabelle2024 release

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

Previous message (by thread): [isabelle-dev] Plan for Isabelle2024 release
Next message (by thread): [isabelle-dev] Update to OpenJDK 21.0.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 09/01/2024 11:13, Makarius wrote:
> The hot phase of the release process is scheduled for 03-Apr..15-May-2023.

03-Apr..15-May-2024, of course.


	Makarius

Previous message (by thread): [isabelle-dev] Plan for Isabelle2024 release
Next message (by thread): [isabelle-dev] Update to OpenJDK 21.0.2
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list