[isabelle-dev] 496cfe488d72

Makarius makarius at sketis.net
Fri Aug 7 00:13:34 CEST 2020

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
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.


More information about the isabelle-dev mailing list