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

[Makarius]

On 19/04/2024 01:43, Gerwin Klein wrote:
> 
>> 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.

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