Towards Isabelle2025-1-RC1

[Makarius]

On 27/10/2025 10:57, Makarius wrote:
> 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).

The plan is to do it on Wed 12-Nov-2025 approx. 11:00 RBT (Royal Bavarian Time).

This gives a window of opportunity of update NEWS (and maybe CONTRIBUTORS): 
I've seen various changes passing by without a proper entry in the "history of 
user-relevant changes".


	Makarius