Diffusion Isabelle 0e6a5a6cc767

prefer less intrusive tracing message;
0e6a5a6cc767
Actions

Tags

None

Subscribers

None

Description

prefer less intrusive tracing message;

Details

Provenance

Authored on

Parents

rISABELLEf72335f6a9ed: clarified documentation: tracing messages are not shown here;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0e6a5a6cc767: prefer less intrusive tracing message;.Jun 8 2021, 11:34 PM

Changes (3)

Path

Size

src/

Pure/

ML/

ml_profiling.ML

PIDE/

Tools/

profiling_report.scala

rISABELLE0e6a5a6cc767

src/Pure/ML/ml_profiling.ML

Loading...

src/Pure/PIDE/protocol.scala

Loading...

src/Pure/Tools/profiling_report.scala

Loading...