Diffusion Isabelle f72335f6a9ed

clarified documentation: tracing messages are not shown here;
f72335f6a9ed
Actions

Tags

None

Subscribers

None

Description

clarified documentation: tracing messages are not shown here;

Details

Provenance

Authored on

Parents

rISABELLE690fdc14f7fb: add missing file;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf72335f6a9ed: clarified documentation: tracing messages are not shown here;.Jun 8 2021, 11:23 PM

Changes (2)

Path

Size

src/

Doc/

System/

Pure/

Tools/

build_job.scala

rISABELLEf72335f6a9ed

src/Doc/System/Sessions.thy

Loading...

src/Pure/Tools/build_job.scala

Loading...