[isabelle-dev] Isabelle2022-RC3 with repository fork: Sunday 02-Oct-2022 12:00 UTC
lammich at in.tum.de
Fri Sep 30 20:44:18 CEST 2022
... I'm still waiting for Florian (author of signed_divide change), or a
general OK such that I can factor out a syntactic signed_divide typeclass.
Or is the syntactic typeclass concept not wanted any more?
On 30/09/2022 20:07, Makarius wrote:
> The next release candidate (RC3) will coincide with the critical point
> of forking isabelle-dev vs. isabelle-release, see also
> This is planned for Sunday 02-Oct-2022 12:00 UTC, i.e. 14:00 Bavarian
> 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
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev