[isabelle-dev] Isabelle20018 release fork point
We are now past the fork point for the Isabelle2018 release. Here is a summary of the status of the Isabelle development process: * https://isabelle.sketis.net/repos/isabelle-release is where the final release preparations happen before roll-out in a few weeks. The starting point is changeset 89e05bd572c6. * https://isabelle.in.tum.de/repos/isabelle is back in post-release mode right now (changeset d69127c6e80f); it is mirrored onto https://isabelle.sketis.net/repos/isabelle every 10 min. Anything pushed to the isabelle repository is for the next release after Isabelle2018. * AFP (presently at 7175b64d54a4) needs to be understood wrt. isabelle-release at the moment. Gerwin will explain when and how the fork of afp-devel vs. afp-2018 happens (presumably within the next few days). * https://isabelle.sketis.net/devel with the automated testing and snapshot service follows the isabelle-dev repository; it is not forked to keep the long term test results in a linear form. * isabelle-users is the place to discuss Isabelle2018-RC versions. * isabelle-dev is the place to discuss ongoing post-release development. The isabelle-release repository has no public push access. Any changes that are relevant for the release need to be sent to me via email (produced by "hg export" or "hg bundle"). Changesets need to be prepared from a current state of isabelle-release, not the ongoing post-release development, and applied to only one of the two repository branches. Changes to the actual code base should be limited to really important things. During the forked state of the two repositories, big upheaveals on the isabelle-dev repository should be avoided, so that the isabelle-release branch can be merged back cleanly after some weeks; but it is better to publish changes now than to stockpile them for a long time. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Final consolidation for Isabelle2018-RC2
On 22/07/18 20:13, Makarius wrote: > On 22/07/18 12:44, Makarius wrote: >> On 18/07/18 12:53, Makarius wrote: >>> This is a reminder that we are in the final consolidation phase towards >>> Isabelle2018-RC2. >>> >>> I will say more precisely when the fork of the isabelle-dev vs. >>> isabelle-release repositories will happen, presumably in the next few >>> days. After return from FLoC I still need to sort out many details, and >>> some genuine problems (apart from inevitable last-minute additions). >> >> The present plan is to make the repository fork today, in approx. 6h. So >> this is the last chance to finalize for the Isabelle2018 release. > > I am about to make the repository fork. Right now it looks like > Isabelle2018-RC2 going to be current 89e05bd572c6 89e05bd572c6 is my tentative tag changeset, but the tagged version is the already published 14167c321d22. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Final consolidation for Isabelle2018-RC2
On 22/07/18 12:44, Makarius wrote: > On 18/07/18 12:53, Makarius wrote: >> This is a reminder that we are in the final consolidation phase towards >> Isabelle2018-RC2. >> >> I will say more precisely when the fork of the isabelle-dev vs. >> isabelle-release repositories will happen, presumably in the next few >> days. After return from FLoC I still need to sort out many details, and >> some genuine problems (apart from inevitable last-minute additions). > > The present plan is to make the repository fork today, in approx. 6h. So > this is the last chance to finalize for the Isabelle2018 release. I am about to make the repository fork. Right now it looks like Isabelle2018-RC2 going to be current 89e05bd572c6. Pushes on the isabelle-dev repositories should be avoided in the next 1-2 hours, to avoid data races concerning the target branch: Isabelle2018 vs. post-Isabelle2018 development. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Final consolidation for Isabelle2018-RC2
On 18/07/18 12:53, Makarius wrote: > This is a reminder that we are in the final consolidation phase towards > Isabelle2018-RC2. > > I will say more precisely when the fork of the isabelle-dev vs. > isabelle-release repositories will happen, presumably in the next few > days. After return from FLoC I still need to sort out many details, and > some genuine problems (apart from inevitable last-minute additions). The present plan is to make the repository fork today, in approx. 6h. So this is the last chance to finalize for the Isabelle2018 release. Afterwards changes for significant problems will be accepted (via email). Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev