Email Gateway (Aug 06 2020 at 15:26): Email Gateway (Aug 06 2020 at 15:26):From: Tobias Nipkow <nipkow@in.tum.de>
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
Email Gateway (Aug 06 2020 at 22:13):From: Makarius <makarius@sketis.net>
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
Email Gateway (Aug 08 2020 at 16:19):From: Tobias Nipkow <nipkow@in.tum.de>
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
Last updated: Apr 16 2024 at 08:18 UTC