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

Makarius makarius at sketis.net
Tue Aug 8 15:10:01 CEST 2023

On 08/08/2023 13:30, Gerwin Klein wrote:
> 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.

OK, lets do that.


More information about the isabelle-dev mailing list