Towards Isabelle2025-RC3 and repository fork

[Gerwin Klein]

> On 16 Feb 2025, at 07:25, Makarius <makarius at sketis.net> wrote:
> 
> from my side everything looks fine, so that we are ready for Isabelle2025-RC3 together with the fork of the isabelle-dev vs. isabelle-release repository.
> 
> The tentative date for that is Wed 19-Feb-2025 11:00. We shall see on Mon or Tue if it needs to be moved 1-2 days further into the future. After the fork point, any further changes for Isabelle2025 will have to be sent via email to me.
> 
> 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.

Cheers,
Gerwin