[isabelle-dev] Isabelle2022-RC2 still before the release fork

Makarius makarius at sketis.net
Sun Sep 18 16:19:24 CEST 2022

Isabelle2022-RC2 is already published, but it is still on the isabelle-dev 
repository, before the fork to the isabelle-release repository 

 From my side, we are mostly ready to part.

The main thing to wait for is AFP. What are the plans to follow up?


More information about the isabelle-dev mailing list