Towards Isabelle2025-1-RC3 and AFP release

[Makarius]

On 27/11/2025 22:48, Gerwin Klein wrote:
> 
>> On 27 Nov 2025, at 22:20, Makarius <makarius at sketis.net> wrote:
> 
>> The fork of isabelle-dev vs. isabelle-release should have happened for RC2, but without AFP moving as well, it would merely cause even more confusion. So what is the current plan AFP? We have again a situation of "several weeks delay for no particular reasons", do we?
> 
> I’ve been busy elsewhere as well, but we can do the AFP fork soon. Let me announce it for Mon, we’ll see if that sparks the usual last minute panic requests.

Great.

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.

The fork will happen at the same time. Anything still happening on 
isabelle-dev until the fork is for Isabelle2025-1 release: It should be 
finalization / polishing of already present things, no new "features", no "bug 
fixes" for old problems from past releases.


	Makarius