Hi Jasmin, I'm looking forward to trying the new model.
On 01/02/2022 09:39, Jasmin Blanchette wrote:
Apart from that, the main visible difference is that you may now see several proofs coming from the same prover,
That is because you invoke the same prover with different parameters? Tobias
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
