Diffusion Isabelle b73777a0c076

allow build session setup, e.g. for protocol handlers;
b73777a0c076
Actions

Tags

None

Subscribers

None

Description

allow build session setup, e.g. for protocol handlers;

Details

Provenance

Authored on

Parents

rISABELLE451fc6be6c5b: unused;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb73777a0c076: allow build session setup, e.g. for protocol handlers;.Jun 4 2021, 11:30 PM

Changes (2)

Path

Size

src/

Pure/

Tools/

build_job.scala

rISABELLEb73777a0c076

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...