Towards Isabelle2025-RC3 and repository fork

[Makarius]

On 18/02/2025 16:14, Makarius wrote:
> 
> The fork of isabelle-dev vs. isabelle-release will happen Wed 19-Feb-2025 
> 11:00 Bavarian time. At the same time this will be Isabelle2025-RC3.

Actually building and publishing Isabelle2025-RC3 has required 5h total, 
without anything going wrong.

That's it for now. The remaining release schedule is here: 
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025


	Makarius