[isabelle-dev] Word Libraries
kleing at unsw.edu.au
Thu Nov 4 22:54:42 CET 2021
> 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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 833 bytes
Desc: Message signed with OpenPGP
More information about the isabelle-dev