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

Makarius makarius at sketis.net
Mon Sep 26 13:56:21 CEST 2022

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).


More information about the isabelle-dev mailing list