[isabelle-dev] Plan for Isabelle2025 release

[伊藤洋介]

Dear Makarius,

Thank you for the reminder.

The RC1 date is written as 01-Feb-2021 in the mail, but 01-Feb-2025 is the
correct date, right?

Best regards,


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

> 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
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
>


-- 
伊藤 洋介
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/ff5d24fa/attachment.htm>