Diffusion Isabelle edaed30360cc

more flexible default for max_threads;
edaed30360cc
Actions

Tags

None

Subscribers

None

Description

more flexible default for max_threads;

Details

Provenance

Authored on

Parents

rISABELLE8dc2e4d9deaa: proper default for max_threads;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEedaed30360cc: more flexible default for max_threads;.Aug 24 2020, 5:58 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

Nitpick/

etc/

rISABELLEedaed30360cc

src/HOL/Tools/Nitpick/kodkod.ML

Loading...

src/HOL/Tools/etc/options

Loading...