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

Makarius makarius at sketis.net
Sun Oct 2 20:37:01 CEST 2022

> 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.

On 01/10/2022 18:57, Florian Haftmann wrote:
 > Now done in a7ccb744047b.

Is there anything to say about it in NEWS?


More information about the isabelle-dev mailing list