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

[Florian Haftmann]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA707172232CFA4E9.asc
Type: application/pgp-keys
Size: 5958 bytes
Desc: OpenPGP public key
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20221001/ddce7e31/attachment.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20221001/ddce7e31/attachment.sig>