[isabelle-dev] Plan for Isabelle2025 release

[Makarius]

On 28/09/2024 08:13, 伊藤洋介 wrote:
> 
> The RC1 date is written as 01-Feb-2021 in the mail, but 01-Feb-2025 is the 
> correct date, right?

Yes. The blog post has the correct dates: 
https://isabelle-dev.sketis.net/phame/post/view/77/plan_for_isabelle2025_release

In particular, we start right after the Bavarian Christmas vacation with RC0, 
as a preview what might be coming.


	Makarius