[isabelle-dev] 496cfe488d72

Tobias Nipkow nipkow at in.tum.de
Sat Aug 8 18:18:52 CEST 2020



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
> 

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200808/08da5e99/attachment.bin>


More information about the isabelle-dev mailing list