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

Makarius makarius at sketis.net
Tue Aug 8 12:45:36 CEST 2023

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.


More information about the isabelle-dev mailing list