[isabelle-dev] Isabelle2019 release fork point

Klein, Gerwin (Data61, Kensington NSW) Gerwin.Klein at data61.csiro.au
Sat May 18 11:56:41 CEST 2019

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.


> On 12 May 2019, at 03:44, Makarius <makarius at sketis.net> 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
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list