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

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.

Tobias

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Reply via email to