changeset 51230 | 19192615911e |
parent 51044 | 890f502f0e89 |
child 51423 | e5f9a6d9ca82 |
--- a/etc/options Wed Feb 20 18:04:44 2013 +0100 +++ b/etc/options Wed Feb 20 19:57:17 2013 +0100 @@ -53,6 +53,8 @@ -- "level of parallel proof checking: 0, 1, 2" option parallel_proofs_threshold : int = 100 -- "threshold for sub-proof parallelization" +option parallel_proofs_reuse_timing : bool = true + -- "reuse timing information from old log file for parallel proof scheduling" section "Detail of Proof Recording"