Diffusion Isabelle 88eb92a52f9b

merged
88eb92a52f9b
Actions

Tags

None

Subscribers

None

Description

merged

Details

Provenance

Authored on

Parents

rISABELLE95bbf9a576b3: prefer Time.scale(), following Isabelle/ML;
rISABELLE6996a20a1b7c: proper benchmark command;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE88eb92a52f9b: merged.Nov 3 2023, 10:55 AM

Merged Changes

6996a20a1b7c proper benchmark command;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (2)

Path

Size

src/

Pure/

General/

Tools/

build_schedule.scala

rISABELLE88eb92a52f9b

src/Pure/General/time.scala

Loading...

src/Pure/Tools/build_schedule.scala

Loading...