Diffusion Isabelle ed59a506998f

clarified document_output vs. progress;
ed59a506998f
Actions

Tags

None

Subscribers

None

Description

clarified document_output vs. progress;

Details

Provenance

Authored on

Parents

rISABELLE6f83f7892317: clarified: more uniform;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEed59a506998f: clarified document_output vs. progress;.Nov 25 2020, 12:52 PM

Changes (3)

Path

Size

src/

Pure/

System/

Thy/

presentation.scala

Tools/

build_job.scala

rISABELLEed59a506998f

src/Pure/System/progress.scala

Loading...

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...