For some time now isabelle build -v -o document=pdf
no longer seems(?) to tell me where it put the pdf file. It would be nice if it did that again.
Tobias
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
