Towards Isabelle2025-RC3 and repository fork

[Gerwin Klein]

The AFP has now also forked with afp-2025 at commit 9e1cdacaa54.

Further commits to afp-devel will no longer go into afp-2025. If there is something extremely urgent and important that needs to be in afp-2025, please email me.

For editors: nothing changes for processing new entries, but if you do merges to afp-devel, please merge new entries first into afp-2025, make sure they work there with Isabelle2025-RC3 before you push, then merge afp-2025 into afp-devel. We should no longer merge afp-2024 directly into afp-devel.

Cheers,
Gerwin

> On 19 Feb 2025, at 21:14, Makarius <makarius at sketis.net> wrote:
> 
> On 18/02/2025 16:14, Makarius wrote:
>> The fork of isabelle-dev vs. isabelle-release will happen Wed 19-Feb-2025 11:00 Bavarian time.
> 
> I have pushed that now as Isabelle/4e018ff3aa82.
> 
> It means that continued activity on isabelle-dev is for the subsequent release, and anything still for Isabelle2025 need to be sent via email to me --- *not* pushed to isabelle-dev at the same time!
> 
> 
> 	Makarius
>