Towards Isabelle2025-RC1

[Makarius]

On 31/01/2025 15:25, Makarius wrote:
> 
> Isabelle2025-RC1 will be published Mon 03-Feb-2025 according to plan, see also 
> https://isabelle-dev.sketis.net/phame/post/view/85/ 
> release_candidates_for_isabelle2025 (I will make the snapshot on Sun evening 
> or Mon morning, Bavarian time).

I will make the snapshot Mon 11:30 Bavarian time.


	Makarius