[isabelle-dev] Plan for Isabelle2025 release

[伊藤洋介]

All right.
Thank you for the additional information.


2024年9月28日(土) 19:09 Makarius <makarius at sketis.net>:

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

-- 
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345 at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20240928/e207b693/attachment.htm>