etc/options
changeset 53189 ee8b8dafef0e
parent 52810 cd28423ba19f
child 55672 5e25cc741ab9
     1.1 --- a/etc/options	Sun Aug 25 14:35:25 2013 +0200
     1.2 +++ b/etc/options	Sun Aug 25 16:03:12 2013 +0200
     1.3 @@ -71,8 +71,6 @@
     1.4    -- "level of tracing information for multithreading"
     1.5  public option parallel_proofs : int = 2
     1.6    -- "level of parallel proof checking: 0, 1, 2"
     1.7 -option parallel_subproofs_saturation : int = 100
     1.8 -  -- "upper bound for forks of nested proofs (multiplied by worker threads)"
     1.9  option parallel_subproofs_threshold : real = 0.01
    1.10    -- "lower bound of timing estimate for forked nested proofs (seconds)"
    1.11