Towards Isabelle2025-1-RC1

[Makarius]

This is a reminder that we are heading towards Isabelle2025-1-RC1, which is 
scheduled for next week. The plan says 03-Nov-2025, but it might turn out 1-2 
days later (not more).

It is now high time to wrap-up and actually finish things --- instead of 
adding new things. Afterwards we will have a few weeks to polish everything, 
but the final release needs to be shipped before the Christmas vacation 
(approx. 20-Dec-2025 until 12-Jan-2026). That is a hard deadline that cannot 
be postponed.

This is particularly relevant for AFP.


	Makarius