Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Plan for Isabelle2024 release

Email Gateway (Sep 12 2023 at 17:07):

From: Makarius <makarius@sketis.net>
Dear Isabelle users,

this has been an exceptionally long release process for Isabelle2023, and the
distance to Isabelle2022 is closer to 11 months than the specified 8-10 months.

Consequently, I have sketched the following release plan for Isabelle2024:
https://isabelle-dev.sketis.net/phame/post/view/69/plan_for_isabelle2024_release

Makarius

Email Gateway (Sep 12 2023 at 18:23):

From: Lawrence Paulson <lp15@cam.ac.uk>
"Good cooking takes time. If you are made to wait, it is to serve you better, and to please you.”
^^ From the Menu of Restaurant Antoine, New Orleans, quoted in the beginning of The Mythical Man Month.

Thank you for your massive efforts, Makarius, and remember there’s no need to hurry.

Larry

Email Gateway (Sep 12 2023 at 18:41):

From: Makarius <makarius@sketis.net>
The need to hurry is sometimes caused by external constraints on the overall
process. I am already used to organize my year around Isabelle release schedules.

Makarius

Last updated: Apr 28 2024 at 20:16 UTC