[isabelle-dev] Towards Isabelle2024-RC1

[Makarius]

On 25/03/2024 15:43, Makarius wrote:
> 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 
> https://isabelle-dev.sketis.net/phame/post/view/76/release_candidates_for_isabelle2024

So far it looks like we are on time, and Isabelle2024-RC1 can be published 
tomorrow (approx. 20h from now).


	Makarius