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.

I have pushed that now as Isabelle/4e018ff3aa82.

It means that continued activity on isabelle-dev is for the subsequent 
release, and anything still for Isabelle2025 need to be sent via email to me 
--- *not* pushed to isabelle-dev at the same time!


	Makarius