Email Gateway (Oct 27 2025 at 09:58): Email Gateway (Oct 27 2025 at 09:58):From: Makarius <makarius@sketis.net>
This is a reminder that we are heading towards Isabelle2025-1-RC1, which is
scheduled for next week. The plan says 03-Nov-2025, but it might turn out 1-2
days later (not more).
It is now high time to wrap-up and actually finish things --- instead of
adding new things. Afterwards we will have a few weeks to polish everything,
but the final release needs to be shipped before the Christmas vacation
(approx. 20-Dec-2025 until 12-Jan-2026). That is a hard deadline that cannot
be postponed.
This is particularly relevant for AFP.
Makarius
Email Gateway (Nov 03 2025 at 18:47):From: Makarius <makarius@sketis.net>
On 27/10/2025 10:57, Makarius wrote:
This is a reminder that we are heading towards Isabelle2025-1-RC1, which is
scheduled for next week. The plan says 03-Nov-2025, but it might turn out 1-2
days later (not more).
The plan is to do it on Wed 12-Nov-2025 approx. 11:00 RBT (Royal Bavarian Time).
This gives a window of opportunity of update NEWS (and maybe CONTRIBUTORS):
I've seen various changes passing by without a proper entry in the "history of
user-relevant changes".
Makarius
Last updated: Nov 05 2025 at 08:30 UTC