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
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
