Diffusion Isabelle c8c3f4f0f68b

clarified log message (more uniform);
c8c3f4f0f68b
Actions

Tags

None

Subscribers

None

Description

clarified log message (more uniform);

Details

Provenance

Authored on

Parents

rISABELLE8bff286878bf: misc lemma tuning

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc8c3f4f0f68b: clarified log message (more uniform);.Jul 3 2020, 4:48 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_log.scala

Tools/

rISABELLEc8c3f4f0f68b

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Tools/build.scala

Loading...