[isabelle-dev] Towards Isabelle2024-RC1

Makarius makarius at sketis.net
Mon Mar 25 15:43:31 CET 2024

Dear Isabelle contributors,

we have approx. 10 days left until Isabelle2024-RC1. That is the first public 
release candidate, and there is usually time until RC2/RC3 to finalize 
everything. See also 

Now is a good point to update CONTRIBUTORS and NEWS: the headline says 
"Isabelle NEWS -- history of user-relevant changes", or seen from a different 
angle: a change that is not user-relevant is hardly relevant at all.


More information about the isabelle-dev mailing list