[isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release

Gerwin Klein kleing at unsw.edu.au
Tue Aug 8 13:30:26 CEST 2023

> On 8 Aug 2023, at 12:45 pm, Makarius <makarius at sketis.net> wrote:
> On 08/08/2023 12:02, Gerwin Klein wrote:
>> The main precondition for the AFP fork is that the tests are stable, including the slow ones. If we have a full passing run with Isabelle2023-RC3, a week or two after RC3 would be a good point for the AFP to fork as well, which should put the AFP release very shortly after the Isabelle release.
> I always do a full AFP test before publishing an Isabelle release candidate.
> Now even for ARM64, thanks to recent efforts by David Matthews (see Isabelle/5683e49f7884). This became possible due to the availability of proper test hardware at TUM.

Perfect, then we don’t need to wait for the slow test to kick in.

With that I’d say we should do the AFP fork one week after the Isabelle fork to give some time for the last flurry of activity that tends to happen when deadlines approach.


More information about the isabelle-dev mailing list