Diffusion Isabelle 6c6609fd898c

more accurate message;
6c6609fd898c
Actions

Tags

None

Subscribers

None

Description

more accurate message;

Details

Provenance

Authored on

Parents

rISABELLE2550bac18b49: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6c6609fd898c: more accurate message;.Jul 11 2020, 4:25 PM

Changes (2)

Path

Size

src/

Pure/

General/

Tools/

rISABELLE6c6609fd898c

src/Pure/General/timing.scala

Loading...

src/Pure/Tools/build.scala

Loading...