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