Email Gateway (Feb 15 2025 at 20:26): Email Gateway (Feb 15 2025 at 20:26):From: Makarius <makarius@sketis.net>
Dear Isabelle contributors,
from my side everything looks fine, so that we are ready for Isabelle2025-RC3
together with the fork of the isabelle-dev vs. isabelle-release repository.
The tentative date for that is Wed 19-Feb-2025 11:00. We shall see on Mon or
Tue if it needs to be moved 1-2 days further into the future. After the fork
point, any further changes for Isabelle2025 will have to be sent via email to me.
Anyway, what is the state of afp-devel?
Makarius
Email Gateway (Feb 16 2025 at 08:50):From: Gerwin Klein via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
On 16 Feb 2025, at 07:25, Makarius <makarius@sketis.net> wrote:
from my side everything looks fine, so that we are ready for Isabelle2025-RC3 together with the fork of the isabelle-dev vs. isabelle-release repository.
The tentative date for that is Wed 19-Feb-2025 11:00. We shall see on Mon or Tue if it needs to be moved 1-2 days further into the future. After the fork point, any further changes for Isabelle2025 will have to be sent via email to me.
Anyway, what is the state of afp-devel?
It is ready to fork. I was hoping for a period of test stability, but it still seems to be breaking occasionally for resource reasons. No real problem, though, I can test the release locally.
afp-2025 now exists and is currently still in sync with afp-devel. Let me know when Isabelle forks, then I should be able to do the same for the AFP directly after.
Cheers,
Gerwin
Email Gateway (Feb 18 2025 at 15:15):From: Makarius <makarius@sketis.net>
On 16/02/2025 09:49, Gerwin Klein wrote:
Anyway, what is the state of afp-devel?
It is ready to fork. I was hoping for a period of test stability, but it still seems to be breaking occasionally for resource reasons. No real problem, though, I can test the release locally.
afp-2025 now exists and is currently still in sync with afp-devel. Let me know when Isabelle forks, then I should be able to do the same for the AFP directly after.
OK, great.
The fork of isabelle-dev vs. isabelle-release will happen Wed 19-Feb-2025
11:00 Bavarian time. At the same time this will be Isabelle2025-RC3.
Until the fork, activity on isabelle-dev is still for Isabelle2025.
After the fork, activity on isabelle-dev will be for the subsequent release
after Isabelle2025.
After the fork, further changes for Isabelle2025 will have to sent via email
to me, and not applied to the isabelle-dev repository any more!
Makarius
Email Gateway (Feb 19 2025 at 10:14):From: Makarius <makarius@sketis.net>
On 18/02/2025 16:14, Makarius wrote:
The fork of isabelle-dev vs. isabelle-release will happen Wed 19-Feb-2025
11:00 Bavarian time.
I have pushed that now as Isabelle/4e018ff3aa82.
It means that continued activity on isabelle-dev is for the subsequent
release, and anything still for Isabelle2025 need to be sent via email to me
--- not pushed to isabelle-dev at the same time!
Makarius
Email Gateway (Feb 19 2025 at 15:09):From: Makarius <makarius@sketis.net>
On 18/02/2025 16:14, Makarius wrote:
The fork of isabelle-dev vs. isabelle-release will happen Wed 19-Feb-2025
11:00 Bavarian time. At the same time this will be Isabelle2025-RC3.
Actually building and publishing Isabelle2025-RC3 has required 5h total,
without anything going wrong.
That's it for now. The remaining release schedule is here:
https://isabelle-dev.sketis.net/phame/post/view/85/release_candidates_for_isabelle2025
Makarius
Email Gateway (Feb 19 2025 at 22:15):From: Gerwin Klein via isabelle-dev <isabelle-dev@mailman.proof.cit.tum.de>
The AFP has now also forked with afp-2025 at commit 9e1cdacaa54.
Further commits to afp-devel will no longer go into afp-2025. If there is something extremely urgent and important that needs to be in afp-2025, please email me.
For editors: nothing changes for processing new entries, but if you do merges to afp-devel, please merge new entries first into afp-2025, make sure they work there with Isabelle2025-RC3 before you push, then merge afp-2025 into afp-devel. We should no longer merge afp-2024 directly into afp-devel.
Cheers,
Gerwin
On 19 Feb 2025, at 21:14, Makarius <makarius@sketis.net> wrote:
On 18/02/2025 16:14, Makarius wrote:
The fork of isabelle-dev vs. isabelle-release will happen Wed 19-Feb-2025 11:00 Bavarian time.
I have pushed that now as Isabelle/4e018ff3aa82.
It means that continued activity on isabelle-dev is for the subsequent release, and anything still for Isabelle2025 need to be sent via email to me --- not pushed to isabelle-dev at the same time!
Makarius
Last updated: Apr 18 2025 at 20:21 UTC