Towards Isabelle2025-RC2

[Gerwin Klein]

> On 9 Feb 2025, at 22:02, Makarius <makarius at sketis.net> wrote:
> 
> The Isabelle release train continues with the next release candidate: I will make the snapshot from the isabelle-dev repository on Mon 10-Feb-2025 11:00 (Bavarian time).
> 
> This is no repository fork yet --- I am mostly waiting for AFP to join the release process.

The AFP tends to fork very late, I was planning to start when RC2 is out.

Cheers,
Gerwin