Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] 496cfe488d72


view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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

smime.p7s


Last updated: Mar 04 2024 at 10:08 UTC