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
Email Gateway (Nov 05 2025 at 18:47):From: Makarius <makarius@sketis.net>
On 03/11/2025 19:47, Makarius wrote:
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).
I've started the Admin/build_release at 12:00 and it required many hours,
until now. We have tons of great material, and many platforms ...
Presently, the isabelle-dev repository is still for the Isabelle2025-1
release. The disengagement and fork to
https://isabelle.sketis.net/repos/isabelle-release will happen for RC2 or RC3,
depending how fast AFP gets ready for release (hopefully in the same calendar
year).
Makarius
Last updated: Dec 10 2025 at 12:50 UTC