The afp-2019 fork has now happened, which means afp-devel should be tested against isabelle-devel and can develop independently.
Ideally afp-2019 would be tested against Isabelle2019-RCx. We could even re-open the submission website for entries against Isabelle2019-RC2, which the editors would add to the afp-2019 branch of the repository, but would not fully publish yet (they’ll appear with the full Isabelle2019 release). Depending on how hard that is to set up. Cheers, Gerwin > On 12 May 2019, at 03:44, Makarius <[email protected]> wrote: > > We are now past the fork point for the Isabelle2019 release. This is a > summary of the status of the Isabelle development process: > > * https://isabelle.sketis.net/repos/isabelle-release is where > the finalization of the release happens, before roll-out in > the first half of June 2019. The starting point is changeset > ad0306b89cfb (Isabelle2019-RC2). > > * https://isabelle.in.tum.de/repos/isabelle is already back > in post-release mode (changeset a8238fd25541). Anything > pushed to the isabelle-dev repository is for the next > release after Isabelle2019. > > * AFP (presently at 2170a6647f04) needs to be understood wrt. > isabelle-release at the moment. Gerwin will explain when and > how the fork of afp-devel vs. afp-2019 happens (presumably > within the next few days). Only after the AFP fork, both > lines of development are fully independent. > > * https://isabelle.sketis.net/devel with the automated > testing and snapshot service follows the isabelle-dev > repository. There is no automated testing for the > isabelle-release repository (this limits further changes > to really important things). > > * 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. > > * isabelle-users is the place to discuss Isabelle2019-RC > versions. > > * isabelle-dev is the place to discuss ongoing post-release > development. > > > Makarius > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
