equal
deleted
inserted
replaced
89 -- "parallel and asynchronous printing of results" |
89 -- "parallel and asynchronous printing of results" |
90 public option parallel_proofs : int = 1 |
90 public option parallel_proofs : int = 1 |
91 -- "level of parallel proof checking: 0, 1, 2" |
91 -- "level of parallel proof checking: 0, 1, 2" |
92 option parallel_subproofs_threshold : real = 0.01 |
92 option parallel_subproofs_threshold : real = 0.01 |
93 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
93 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
94 option parallel_presentation : bool = true |
|
95 -- "parallel theory presentation" |
|
96 |
94 |
97 option command_timing_threshold : real = 0.1 |
95 option command_timing_threshold : real = 0.1 |
98 -- "default threshold for persistent command timing (seconds)" |
96 -- "default threshold for persistent command timing (seconds)" |
99 |
97 |
100 public option timeout_scale : real = 1.0 |
98 public option timeout_scale : real = 1.0 |