> On 26 Sep 2022, at 1:56 pm, Makarius <[email protected]> wrote: > > On 26/09/2022 11:29, Gerwin Klein wrote: >>> 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? > > Another week is OK: so the date for Isabelle2022-RC3 will be 02-Oct-2022. > > This will be also the fork point for the Isabelle repository: changes before > 02-Oct-2022 are for Isabelle2022, changes after it for Isabelle2023 (unless > sent to me via email --- from hg export or hg bundle).
In principle the AFP is ready to fork afp-2022, but it might make sense to wait for Florian’s mod/div type class changes to come in. Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
