[isabelle-dev] Isabelle2022-RC3 with repository fork: Sunday 02-Oct-2022 12:00 UTC
Makarius
makarius at sketis.net
Fri Sep 30 20:07:20 CEST 2022
The next release candidate (RC3) will coincide with the critical point of
forking isabelle-dev vs. isabelle-release, see also
https://isabelle.sketis.net/repos/isabelle-release
This is planned for Sunday 02-Oct-2022 12:00 UTC, i.e. 14:00 Bavarian time.
Afterwards, isabelle-dev will continue in post-release mode, but big changes
to the logic libraries should be avoided until afp-2022 is been forked from
afp-devel: Gerwin will say when this is done.
Any later changes to isabelle-release need to be significant, non-erratic, and
send to me via email (as result of "hg export" or "hg bundle").
Makarius
More information about the isabelle-dev
mailing list