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