Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Isabelle2022-RC2 still before the release ...


view this post on Zulip Email Gateway (Sep 18 2022 at 14:19):

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

view this post on Zulip Email Gateway (Sep 26 2022 at 09:15):

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

view this post on Zulip Email Gateway (Sep 26 2022 at 09:30):

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

view this post on Zulip Email Gateway (Sep 26 2022 at 11:56):

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

view this post on Zulip Email Gateway (Oct 01 2022 at 10:05):

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

view this post on Zulip Email Gateway (Oct 01 2022 at 16:58):

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: Mar 04 2024 at 10:08 UTC