Diffusion Isabelle f9f6a31cc99c

proper prover_options for batch-build;
f9f6a31cc99c
Actions

Tags

None

Subscribers

None

Description

proper prover_options for batch-build;

Details

Provenance

Authored on

Parents

rISABELLE8d20b1cf0d5d: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf9f6a31cc99c: proper prover_options for batch-build;.Aug 12 2021, 1:14 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

build_job.scala

rISABELLEf9f6a31cc99c

src/Pure/System/options.scala

Loading...

src/Pure/Tools/build_job.scala

Loading...