Diffusion Isabelle cdc87eed26c7

allow specifying initial schedule;
cdc87eed26c7
Actions

Tags

None

Subscribers

None

Description

allow specifying initial schedule;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLE4359257218ce: clarify use of num_threads vs. max_cpus;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLEcdc87eed26c7: allow specifying initial schedule;.Mar 17 2024, 10:48 PM

Changes (2)

Path

Size

etc/

src/

Pure/

Build/

build_schedule.scala

rISABELLEcdc87eed26c7

etc/options

Loading...

src/Pure/Build/build_schedule.scala

Loading...