[isabelle-dev] Isabelle2022-RC3 with repository fork: Sunday 02-Oct-2022 12:00 UTC
kleing at unsw.edu.au
Sun Oct 2 09:41:24 CEST 2022
Thanks. With that, we’re ready to fork. I’ll do the AFP when Makarius has announced the Isabelle release fork.
> On 1 Oct 2022, at 6:57 pm, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> 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.
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
More information about the isabelle-dev