Diffusion Isabelle a829207b32a3

output physical_stderr, e.g. for low-level debugging;
a829207b32a3
Actions

Tags

None

Subscribers

None

Description

output physical_stderr, e.g. for low-level debugging;

Details

Provenance

Authored on

Parents

rISABELLE23168cbe0ef8: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLEf55222fbeae3: avoid duplicate stderr output in isabelle build -v, e.g. "Timing ..." (amending….Mar 21 2020, 10:19 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEa829207b32a3

src/Pure/Tools/build.scala

Loading...