etc/options
changeset 65056 002b4c8c366e
parent 64524 e6a3c55b929b
child 65141 c706b57b1694
     1.1 --- a/etc/options	Sun Feb 26 23:50:19 2017 +0100
     1.2 +++ b/etc/options	Mon Feb 27 00:00:28 2017 +0100
     1.3 @@ -71,7 +71,7 @@
     1.4  
     1.5  public option parallel_print : bool = true
     1.6    -- "parallel and asynchronous printing of results"
     1.7 -public option parallel_proofs : int = 2
     1.8 +public option parallel_proofs : int = 1
     1.9    -- "level of parallel proof checking: 0, 1, 2"
    1.10  option parallel_subproofs_threshold : real = 0.01
    1.11    -- "lower bound of timing estimate for forked nested proofs (seconds)"