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