[isabelle-dev] Isabelle2022-RC2 still before the release fork

Gerwin Klein kleing at unsw.edu.au
Sat Oct 1 12:05:22 CEST 2022


> On 26 Sep 2022, at 1:56 pm, Makarius <makarius at sketis.net> wrote:
> 
> On 26/09/2022 11:29, Gerwin Klein wrote:
>>> On 26 Sep 2022, at 11:14 am, Makarius <makarius at sketis.net> 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



More information about the isabelle-dev mailing list