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

Makarius makarius at sketis.net
Mon Sep 26 11:14:51 CEST 2022


On 18/09/2022 16:19, Makarius wrote:
> 
>  From my side, we are mostly ready to part.
> 
> The main thing to wait for is AFP. What are the plans to follow up?

Still no sign of AFP moving towards a release?


	Makarius



More information about the isabelle-dev mailing list