On 07/08/2020 00:13, Makarius wrote:
On 06/08/2020 17:26, Tobias Nipkow wrote: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.See now changeset: 72107:411b3dc036ca user: wenzelm date: Thu Aug 06 23:44:43 2020 +0200 files: src/Pure/Tools/build.scala description: recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document at ..." (see also 940195fbb282, 5469bacf5573, 5c4800f6b25a);
Thanks.
Note that option -v is not relevant for that.
For me it is. Tobias
Makarius
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
