> On 26 Sep 2022, at 11:14 am, Makarius <[email protected]> wrote: > > 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?
Sorry, I’m travelling and managed to get sick (nothing bad, but still feeling very fuzz-brained), so I haven’t managed to do anything about it yet. We still have a set of submissions in the pipeline that would be good to publish and then merge into devel before we make a new release fork. Maybe another week? Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
