[isabelle-dev] Towards Isabelle2023-RC2, RC3 and AFP release
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