Towards Isabelle2025-RC3 and repository fork

[Makarius]

On 16/02/2025 09:49, Gerwin Klein wrote:
> 
>> Anyway, what is the state of afp-devel?
> 
> It is ready to fork. I was hoping for a period of test stability, but it still seems to be breaking occasionally for resource reasons. No real problem, though, I can test the release locally.
> 
> afp-2025 now exists and is currently still in sync with afp-devel. Let me know when Isabelle forks, then I should be able to do the same for the AFP directly after.

OK, great.

The fork of isabelle-dev vs. isabelle-release will happen Wed 19-Feb-2025 
11:00 Bavarian time. At the same time this will be Isabelle2025-RC3.

Until the fork, activity on isabelle-dev is still for Isabelle2025.

After the fork, activity on isabelle-dev will be for the subsequent release 
after Isabelle2025.

After the fork, further changes for Isabelle2025 will have to sent via email 
to me, and not applied to the isabelle-dev repository any more!


	Makarius