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