Diffusion Isabelle 95bbf9a576b3

prefer Time.scale(), following Isabelle/ML;
95bbf9a576b3
Actions

Tags

None

Subscribers

None

Description

prefer Time.scale(), following Isabelle/ML;

Details

Provenance

Authored on

Parents

rISABELLEb82c2f801f2c: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE95bbf9a576b3: prefer Time.scale(), following Isabelle/ML;.Nov 3 2023, 10:30 AM

Changes (2)

Path

Size

src/

Pure/

General/

Tools/

build_schedule.scala

rISABELLE95bbf9a576b3

src/Pure/General/time.scala

Loading...

src/Pure/Tools/build_schedule.scala

Loading...