Email Gateway (Nov 18 2025 at 09:53): Email Gateway (Nov 18 2025 at 09:53):From: Makarius <makarius@sketis.net>
The plan is to do it on Wed 19-Nov-2025 approx. 11:00 RBT (Royal Bavarian Time).
Quite a few changes have accumulated already, and not everything is finished yet.
Makarius
Email Gateway (Nov 19 2025 at 19:50):From: Makarius <makarius@sketis.net>
On 18/11/2025 10:52, Makarius wrote:
The plan is to do it on Wed 19-Nov-2025 approx. 11:00 RBT (Royal Bavarian Time).
Quite a few changes have accumulated already, and not everything is finished yet.
That's it for now, see Isabelle/1669458d4489.
We are now waiting for Gerwin Klein to pronounce the release schedule for AFP.
When everything is clear, we can also fork the isabelle-dev vs. the
isabelle-release repository. Afterwards changes for the release need to be
sent via E-Mail (hg export), and the isabelle-dev repository will be back to
normal post-release mode.
Makarius
Last updated: Dec 10 2025 at 12:50 UTC