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. Makarius