[isabelle-dev] Isabelle2022-RC3 with repository fork: Sunday 02-Oct-2022 12:00 UTC

Peter Lammich 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 
> 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
> isabelle-dev at in.tum.de
> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

More information about the isabelle-dev mailing list