Diffusion Isabelle eff08c3f89fe

basic setup for "isabelle build_worker";
eff08c3f89fe
Actions

Tags

None

Subscribers

None

Description

basic setup for "isabelle build_worker";

Details

Provenance

Authored on

Parents

rISABELLE911548e4f228: tuned comments;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEeff08c3f89fe: basic setup for "isabelle build_worker";.Mar 7 2023, 12:06 PM

Changes (2)

Path

Size

src/

Pure/

System/

isabelle_tool.scala

Tools/

rISABELLEeff08c3f89fe

src/Pure/System/isabelle_tool.scala

Loading...

src/Pure/Tools/build.scala

Loading...