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

Gerwin Klein kleing at unsw.edu.au
Tue Aug 8 12:02:05 CEST 2023

> On 6 Aug 2023, at 10:00 pm, Makarius <makarius at sketis.net> wrote:
> Afterwards, isabelle-dev will in principle be ready for anything intended for the next release after Isabelle2023, but bigger changes need to wait for the corresponding AFP release and fork-point.
>> What is the schedule for the corresponding AFP release?
> My guess: we will see another 3-5 weeks delay for no particular reason.
> Such things could be done concurrently, e.g. with Isabelle RC1 or RC2.

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’ll announce the fork point on isabelle-users when RC3 is out. 

We will also attempt to empty the queue of submissions, but that can be relatively independent of the fork point for afp-devel.

I’m still travelling, so things might be a bit slower than usual, but I will be travelling for the entire release period, so there is no point in waiting for anything.


More information about the isabelle-dev mailing list