Diffusion Isabelle ff2c26b8ffb1

clarified build_options vs. job options;
ff2c26b8ffb1
Actions

Tags

None

Subscribers

None

Description

clarified build_options vs. job options;

Details

Provenance

Authored on

Parents

rISABELLEda49285a0adf: more official handling of protocol messages, including export;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEff2c26b8ffb1: clarified build_options vs. job options;.Apr 3 2020, 8:27 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLEff2c26b8ffb1

src/Pure/Tools/build.scala

Loading...