Towards the Isabelle2026 (October 2026) release

Makarius makarius at sketis.net
Wed Oct 14 00:26:15 CEST 2026

Previous message (by thread): Fork of isabelle-dev vs. isabelle-release
Next message (by thread): Towards the Isabelle2026 (October 2026) release
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The plan for today: Isabelle2026-RC4 with deadline approx. 13:00 Royal 
Bavarian Time. It could well be the last RC, as far as I am concerned.


	Makarius

Previous message (by thread): Fork of isabelle-dev vs. isabelle-release
Next message (by thread): Towards the Isabelle2026 (October 2026) release
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list