[isabelle-dev] Isabelle2022 process

Makarius makarius at sketis.net
Sun Sep 11 13:03:34 CEST 2022

We are already on Isabelle2022-RC1 with Isabelle/6308eaaa88f1, but still on 
the isabelle-dev repository.

This means that ongoing changes are for the release. The fork of the 
isabelle-dev vs. isabelle-release repositories will happen in approx. 1-2 weeks.

Now is still an opportunity to add missing entries to NEWS and CONTRIBUTORS. 
This will eventually also affect ANNOUNCE and thus the website front page.

It would be also great if afp-devel could move faster than usual, and keep 
close to isabelle-release.


More information about the isabelle-dev mailing list