[isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository

[Makarius]

On 14/04/2024 13:31, Makarius wrote:
> Dear Isabelle users,
> 
> Isabelle2024-RC2 is now scheduled for 18-Apr-2024: 15 days after 
> Isabelle2024-RC1.
> 
> There has been sufficient time to finalize everything for the stable, 
> unchangeable, and by definition perfect release. After the fork-point, really 
> important changes need to be sent to me via e-mail.

I will do this tomorrow at approx. 11:00 local time (UTC+2).


	Makarius