[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