Towards Isabelle2025-1-RC3 and AFP release

[Makarius]

On 28/11/2025 13:08, Makarius wrote:
> 
> So I can announce RC3 with the repository fork for Mon 01-Dec-2025 or Tue 02- 
> Dec-2025 at 11:00 RBT (Royal Bavarian Time). I will tell later which day it 
> will be.

We are already past the repository fork. I will build Isabelle2025-1-RC3 from 
https://isabelle.sketis.net/repos/isabelle-release (for "hg clone" or "hg 
pull) on Mon 01-Dec-2025 RBT (Royal Bavarian Time).


	Makarius