Thanks. With that, we’re ready to fork. I’ll do the AFP when Makarius has announced the Isabelle release fork.
Cheers, Gerwin > On 1 Oct 2022, at 6:57 pm, Florian Haftmann > <[email protected]> wrote: > > Signed PGP part > Now done in a7ccb744047b. > > Am 01.10.22 um 12:54 schrieb Makarius: >> On 30/09/2022 20:44, Peter Lammich wrote: >>> ... 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. >> OK. It is up to Florian to tell when he is finished with it. >> Makarius >> _______________________________________________ >> isabelle-dev mailing list >> [email protected] >> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev > > <OpenPGP_0xA707172232CFA4E9.asc> > > _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
