Email Gateway (Sep 27 2024 at 19:30): Email Gateway (Sep 27 2024 at 19:30):From: Makarius <makarius@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@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Sep 28 2024 at 06:14):From: 伊藤洋介 <glacier345@gmail.com>
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@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@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
--
伊藤 洋介
Yosuke ITO
+81 80-5057-6931
glacier345@gmail.com
Email Gateway (Sep 28 2024 at 10:09):From: Makarius <makarius@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
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Sep 28 2024 at 10:40):From: 伊藤洋介 <glacier345@gmail.com>
All right.
Thank you for the additional information.
2024年9月28日(土) 19:09 Makarius <makarius@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@gmail.com
Last updated: Feb 01 2025 at 20:19 UTC