Towards Isabelle2025-RC3 and repository fork

[Makarius]

Dear Isabelle contributors,

from my side everything looks fine, so that we are ready for Isabelle2025-RC3 
together with the fork of the isabelle-dev vs. isabelle-release repository.

The tentative date for that is Wed 19-Feb-2025 11:00. We shall see on Mon or 
Tue if it needs to be moved 1-2 days further into the future. After the fork 
point, any further changes for Isabelle2025 will have to be sent via email to me.


Anyway, what is the state of afp-devel?


	Makarius