[isabelle-dev] [Afp-submit] AFP build times out in file/theory presentation

Tobias Nipkow nipkow at in.tum.de
Tue Nov 16 19:30:32 CET 2021

On 16/11/2021 13:01, Makarius wrote:
> So the practical question is: Could the AFP test machine be upgraded to SSD /

I'll check if that can be done right away and then we can see.

What I never understood is why incremental generation of presentations is no 
longer possible.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211116/07d3d021/attachment.bin>

More information about the isabelle-dev mailing list