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 Makarius