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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
