Diffusion Isabelle 149d48a4801b

support for "isabelle build -j0": require external workers to make progress;
149d48a4801b
Actions

Tags

None

Subscribers

None

Description

support for "isabelle build -j0": require external workers to make progress;

Details

Provenance

Authored on

Parents

rISABELLEf78286d2e30f: follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE149d48a4801b: support for "isabelle build -j0": require external workers to make progress;.Mar 8 2023, 11:26 AM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE149d48a4801b

src/Pure/Tools/build_process.scala

Loading...