[isabelle-dev] Plan for Isabelle2025 release

[Makarius]

This is a reminder for the Isabelle2025 release schedule: 
https://isabelle-dev.sketis.net/phame/post/view/77/plan_for_isabelle2025_release

In particular, Isabelle2025-RC1 is scheduled for 01-Feb-2021. At that point 
almost everything needs to be finished --- often people misunderstand RC1 as 
the point to ask for last-minute feature add-ons.


	Makarius