Towards Isabelle2025-1-RC2

[Makarius]

On 18/11/2025 10:52, Makarius wrote:
> The plan is to do it on Wed 19-Nov-2025 approx. 11:00 RBT (Royal Bavarian Time).
> 
> Quite a few changes have accumulated already, and not everything is finished yet.

That's it for now, see Isabelle/1669458d4489.

We are now waiting for Gerwin Klein to pronounce the release schedule for AFP.

When everything is clear, we can also fork the isabelle-dev vs. the 
isabelle-release repository. Afterwards changes for the release need to be 
sent via E-Mail (hg export), and the isabelle-dev repository will be back to 
normal post-release mode.


	Makarius