[isabelle-dev] 496cfe488d72

Tobias Nipkow nipkow at in.tum.de
Thu Aug 6 17:26:18 CEST 2020

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.


-------------- 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/20200806/919947c0/attachment.bin>

More information about the isabelle-dev mailing list