From: Makarius <makarius@sketis.net>
Isabelle2022-RC2 is already published, but it is still on the isabelle-dev
repository, before the fork to the isabelle-release repository
https://isabelle.sketis.net/repos/isabelle-release
From my side, we are mostly ready to part.
The main thing to wait for is AFP. What are the plans to follow up?
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
From: Makarius <makarius@sketis.net>
Still no sign of AFP moving towards a release?
Makarius
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
From: Gerwin Klein <kleing@unsw.edu.au>
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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
From: Makarius <makarius@sketis.net>
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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
From: Gerwin Klein <kleing@unsw.edu.au>
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
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
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.
To conclude this thread also: done in a7ccb744047b.
Cheers,
Florian
OpenPGP_0xA707172232CFA4E9.asc
OpenPGP_signature
Last updated: Dec 07 2024 at 16:22 UTC