Towards Isabelle2025-1-RC2

Makarius makarius at sketis.net
Tue Nov 18 10:52:56 CET 2025


The plan is to do it on Wed 19-Nov-2025 approx. 11:00 RBT (Royal Bavarian Time).

Quite a few changes have accumulated already, and not everything is finished yet.


	Makarius



More information about the isabelle-dev mailing list