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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
