Towards Isabelle2025-RC1

[Makarius]

Dear Isabelle contributors,

Isabelle2025-RC1 will be published Mon 03-Feb-2025 according to plan, see also 
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025 
(I will make the snapshot on Sun evening or Mon morning, Bavarian time).

So this is the last call to make everything ready for the first official 
release candidate, including NEWS (mandatory) and CONTRIBUTORS (optional).

Afterwards there will be additional time until RC2 or RC3, until the 
repository fork of isabelle-dev vs. isabelle-release happens.


	Makarius