Diffusion Isabelle 5dae03d50db1

more formal ML profiling messages;
5dae03d50db1
Actions

Tags

None

Subscribers

None

Description

more formal ML profiling messages;

Details

Provenance

Authored on

Parents

rISABELLE364bac6691de: clarified modules;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE5dae03d50db1: more formal ML profiling messages;.Jun 8 2021, 1:17 PM

Changes (8)

Path

Size

src/

Pure/

ML/

ml_profiling.ML

PIDE/

Tools/

build_job.scala

profiling_report.scala

rISABELLE5dae03d50db1

src/Pure/ML/ml_profiling.ML

Loading...

src/Pure/PIDE/markup.ML

Loading...

src/Pure/PIDE/markup.scala

Loading...

src/Pure/PIDE/protocol.scala

Loading...

src/Pure/ROOT.ML

Loading...

src/Pure/Tools/build_job.scala

Loading...

src/Pure/Tools/profiling_report.scala

Loading...

src/Pure/build-jars

Loading...