Diffusion Isabelle 9b9179cda155

clarified build process roles: "worker" vs. "build";
9b9179cda155
Actions

Tags

None

Subscribers

None

Description

clarified build process roles: "worker" vs. "build";

Details

Provenance

Authored on

Parents

rISABELLE4af88aca2a4f: clarified database content;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9b9179cda155: clarified build process roles: "worker" vs. "build";.Mar 6 2023, 5:29 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLE9b9179cda155

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...