Email Gateway (Mar 12 2025 at 13:52): Email Gateway (Mar 12 2025 at 13:52):From: Makarius <makarius@sketis.net>
On 12/03/2025 14:46, Makarius wrote:
If there are any observations that prevent this, please tell me today.
"this" means "build it tomorrow in the morning" and "publish it in the
afternoon / evening" (Bavarian time).
Makarius
Email Gateway (Mar 12 2025 at 13:56):From: Makarius <makarius@sketis.net>
The final version of Isabelle2025 is in principle ready according to plan, but
that is a couple of hours too late to publish it today.
If there are any observations that prevent this, please tell me today.
See also https://isabelle.sketis.net/repos/isabelle-release/rev/756e88885a7c
and
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025
and
PS: The next release will probably happen in 9 months, before the end of 2025.
I want to avoid a release process with the Christmas vacation 2025/2026 in the
middle of it.
Makarius
Email Gateway (Mar 13 2025 at 15:17):From: Makarius <makarius@sketis.net>
On 12/03/2025 14:46, Makarius wrote:
The final version of Isabelle2025 is in principle ready according to plan, but
that is a couple of hours too late to publish it today.
Done, see also https://isabelle.sketis.net/repos/isabelle/rev/Isabelle2025
We are merely waiting for all mirror sites to synchronized. Then the final
announcement will be published on isabelle-users.
Makarius
Last updated: Apr 18 2025 at 20:21 UTC