[isabelle-dev] Isabelle2024-RC2 (18-Apr-2024): fork-point of the development repository

[Gerwin Klein]

> On 19 Apr 2024, at 00:12, Makarius <makarius at sketis.net> wrote:
> 
> 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!


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