> On 2 Oct 2022, at 8:38 pm, Makarius <[email protected]> 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
