Hi Florian, > On 4 Nov 2021, at 22:11, Florian Haftmann > <[email protected]> wrote: [..] > isabelle: d1117655110c > afp: 0b1dccde39f0 > > This his been my tentative last work on that before the upcoming release. > > Are there still issues I should look after?
There is nothing open on my list at least. The next step should probably be for me to get a bit deeper into at least one of the proof updates to flush out any remaining issues. Will report back when I have anything. Cheers, Gerwin
signature.asc
Description: Message signed with OpenPGP
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
