Email Gateway (Apr 14 2024 at 11:32): Email Gateway (Apr 14 2024 at 11:32):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
Isabelle2024-RC2 is now scheduled for 18-Apr-2024: 15 days after Isabelle2024-RC1.
There has been sufficient time to finalize everything for the stable,
unchangeable, and by definition perfect release. After the fork-point, really
important changes need to be sent to me via e-mail.
An open problem is the status of afp-devel: from the silence of anybody
responsible for it, I conclude that everything is fine and the AFP fork will
follow shortly after the Isabelle repository fork.
This will allow to move on with post-release development on the spot: a few
people have already pending changes in the pipeline.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Apr 17 2024 at 19:04):From: Makarius <makarius@sketis.net>
I will do this tomorrow at approx. 11:00 local time (UTC+2).
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Apr 18 2024 at 14:13):From: Makarius <makarius@sketis.net>
On 14/04/2024 13:31, Makarius wrote:
Dear Isabelle users,
Isabelle2024-RC2 is now scheduled for 18-Apr-2024: 15 days after
Isabelle2024-RC1.There has been sufficient time to finalize everything for the stable,
unchangeable, and by definition perfect release. After the fork-point, really
important changes need to be sent to me via e-mail.
I've finished that now and the isabelle-dev repository is already in
post-release mode: see 12ce957231e0 "after fork-point". This means that any
pushes to isabelle-dev are no longer for Isabelle2024, but the next release
after it. Anything for Isabelle2024 needs to be sent to me via e-mail --- with
a convincing argumentation why it needs to be in that release --- see also
https://isabelle.sketis.net/repos/isabelle-release
Moreover, we are now holding our breath waiting for Gerwin to separate
afp-2024 from afp-devel, so that the release versions and devel version can
continue independently. Until that is done, afp-devel needs to work both with
isabelle-release and isabelle-dev, while there is no proper test setup for that!
This will allow to move on with post-release development on the spot: a few
people have already pending changes in the pipeline.
Note that I am myself still busy with Isabelle2024: some documentation and
final tuning for the distributed "isabelle build" is still missing.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Apr 18 2024 at 14:51):From: Makarius <makarius@sketis.net>
I have now added notable TODO items to the blog post:
https://isabelle-dev.sketis.net/phame/post/view/76/release_candidates_for_isabelle2024
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Apr 18 2024 at 16:36):From: Makarius <makarius@sketis.net>
It should be clear that changesets intended for Isabelle2024 should be sent
exclusively to me, and not pushed onto the post-release isabelle-dev repository.
When the isabelle-release repository is eventually merged back onto
isabelle-dev that will cause ugly effects due to self-conflicts of duplicate
copies. It will ultimately work out, but is like pouring used motor oil onto a
white shirt.
Isabelle history is meant to be readable and understandable later, unlike the
average project on Github.
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Apr 18 2024 at 23:44):From: Gerwin Klein <kleing@unsw.edu.au>
The technical problems on the AFP side seem to be worked out, so from that side the fork could happen, but I still need to coordinate with the other editors how many submission are currently in the pipeline and need to be processed before the fork.
If all goes well, the AFP fork will happen on the weekend.
Cheers,
Gerwin
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Email Gateway (Apr 22 2024 at 10:18):From: Makarius <makarius@sketis.net>
Great.
So isabelle-dev + afp-devel are now back to the normal development, until the
next release after Isabelle2024. (I am myself still busy with Isabelle2024
finalization.)
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: May 06 2024 at 16:21 UTC