Diffusion Isabelle 9e89c2e15d36

clarified command_timings protocol;
9e89c2e15d36
Actions

Tags

None

Subscribers

None

Description

clarified command_timings protocol;

Details

Provenance

Authored on

Parents

rISABELLE6bc199a70bf9: more robust: include reports from Thy_Output.present_thy/output_document;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9e89c2e15d36: clarified command_timings protocol;.Nov 25 2020, 8:48 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

Tools/

build_job.scala

rISABELLE9e89c2e15d36

src/Pure/PIDE/markup.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...