equal
deleted
inserted
replaced
81 -- "parallel and asynchronous printing of results" |
81 -- "parallel and asynchronous printing of results" |
82 public option parallel_proofs : int = 1 |
82 public option parallel_proofs : int = 1 |
83 -- "level of parallel proof checking: 0, 1, 2" |
83 -- "level of parallel proof checking: 0, 1, 2" |
84 option parallel_subproofs_threshold : real = 0.01 |
84 option parallel_subproofs_threshold : real = 0.01 |
85 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
85 -- "lower bound of timing estimate for forked nested proofs (seconds)" |
|
86 option parallel_presentation : bool = true |
|
87 -- "parallel theory presentation" |
86 |
88 |
87 option command_timing_threshold : real = 0.1 |
89 option command_timing_threshold : real = 0.1 |
88 -- "default threshold for persistent command timing (seconds)" |
90 -- "default threshold for persistent command timing (seconds)" |
89 |
91 |
90 public option timeout_scale : real = 1.0 |
92 public option timeout_scale : real = 1.0 |