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