[isabelle-dev] Isabelle2022-RC3 with repository fork: Sunday 02-Oct-2022 12:00 UTC

[Gerwin Klein]

> On 2 Oct 2022, at 8:38 pm, Makarius <makarius at sketis.net> wrote:
> 
> On 02/10/2022 09:41, Gerwin Klein wrote:
>> Thanks. With that, we’re ready to fork. I’ll do the AFP when Makarius has announced the Isabelle release fork.
> 
> Done. See https://isabelle.sketis.net/repos/isabelle/rev/6ab4bb7cb8b2

The AFP is now also forked at a74db29363f5: https://foss.heptapod.net/isa-afp/afp-2022

New entries will still go into afp-2021 for now, and commits to devel will appear in the release after Isabelle2022.

For any urgent changes for afp-2022, please send me email as announced.

Cheers,
Gerwin