[isabelle-dev] Word Libraries

[Gerwin Klein]

Hi Florian,

> On 4 Nov 2021, at 22:11, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> 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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: Message signed with OpenPGP
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211104/530f4403/attachment.sig>