Plan for Isabelle2025-1 (December 2025)

[Makarius]

Here is a public copy 
https://sketis.net/2025/plan-for-isabelle2025-1-december-2025 of the internal 
blog entry 
https://isabelle-dev.sketis.net/phame/post/view/93/plan_for_isabelle2025-1_release

So we are need to get ready soon, and everything needs to be finished before 
15-Dec-2025, with the usual 5-6 weeks of actual release process before that.

In particular, AFP needs to get on track as well, or it will easily be 
postponed until Jan-2026.


	Makarius