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

Makarius makarius at sketis.net
Sun Oct 2 20:38:03 CEST 2022


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



More information about the isabelle-dev mailing list