Diffusion Isabelle dbcd6dc7f70f

back to static numa_nodes (reverting part of c2c59de57df9);
dbcd6dc7f70f
Actions

Tags

None

Subscribers

None

Description

back to static numa_nodes (reverting part of c2c59de57df9);

Details

Provenance

Authored on

Parents

rISABELLE6ec65767d7bd: tuned messages;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdbcd6dc7f70f: back to static numa_nodes (reverting part of c2c59de57df9);.Thu, Apr 11, 12:05 PM

Changes (3)

Path

Size

src/

Pure/

Build/

build_process.scala

build_schedule.scala

rISABELLEdbcd6dc7f70f

src/Pure/Build/build.scala

Loading...

src/Pure/Build/build_process.scala

Loading...

src/Pure/Build/build_schedule.scala

Loading...