Final Isabelle2025 planned for tomorrow

[Makarius]

On 12/03/2025 14:46, Makarius wrote:
> The final version of Isabelle2025 is in principle ready according to plan, but 
> that is a couple of hours too late to publish it today.

Done, see also https://isabelle.sketis.net/repos/isabelle/rev/Isabelle2025

We are merely waiting for all mirror sites to synchronized. Then the final 
announcement will be published on isabelle-users.


	Makarius