Diffusion Isabelle eeaa4021f080

proper "editor_tracing_messages=0" as in "isabelle dump";
eeaa4021f080
Actions

Tags

None

Subscribers

None

Description

proper "editor_tracing_messages=0" as in "isabelle dump";

Details

Provenance

Authored on

Parents

rISABELLE6fff34b5293e: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEeeaa4021f080: proper "editor_tracing_messages=0" as in "isabelle dump";.Apr 3 2020, 8:31 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEeeaa4021f080

src/Pure/Tools/build.scala

Loading...