etc/options
changeset 56734 6ca87a061740
parent 56613 3518ea9f5200
child 56875 f6259d6fb565
     1.1 --- a/etc/options	Fri Apr 25 23:42:25 2014 +0200
     1.2 +++ b/etc/options	Fri Apr 25 23:47:39 2014 +0200
     1.3 @@ -67,7 +67,7 @@
     1.4  
     1.5  public option threads : int = 0
     1.6    -- "maximum number of worker threads for prover process (0 = hardware max.)"
     1.7 -public option threads_trace : int = 0
     1.8 +option threads_trace : int = 0
     1.9    -- "level of tracing information for multithreading"
    1.10  public option parallel_proofs : int = 2
    1.11    -- "level of parallel proof checking: 0, 1, 2"