Diffusion Isabelle 9af2afc3f7b3

more explicit workers, e.g. for monitoring;
9af2afc3f7b3
Actions

Tags

None

Subscribers

None

Description

more explicit workers, e.g. for monitoring;

Details

Provenance

Authored on

Parents

rISABELLE93f4b9164b9f: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9af2afc3f7b3: more explicit workers, e.g. for monitoring;.Mar 8 2023, 2:45 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE9af2afc3f7b3

src/Pure/Tools/build_process.scala

Loading...