[isabelle-dev] [Afp-submit] AFP build times out in file/theory presentation
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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
More information about the isabelle-dev