[isabelle-dev] 496cfe488d72

[Makarius]

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);


Note that option -v is not relevant for that.


	Makarius