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

[Gerwin Klein]

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 <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.
>>     Makarius
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
> 
> <OpenPGP_0xA707172232CFA4E9.asc>
> 
>