# HG changeset patch
# User wenzelm
# Date 1374329897 -7200
# Node ID a4e4802753b91848a29ca33e15c33f886357781a
# Parent  cd3ce844248fcef13de8075aef9b5828623c9654
obscure options;

diff -r cd3ce844248f -r a4e4802753b9 etc/options
--- a/etc/options	Sat Jul 20 16:16:23 2013 +0200
+++ b/etc/options	Sat Jul 20 16:18:17 2013 +0200
@@ -71,9 +71,9 @@
   -- "level of tracing information for multithreading"
 public option parallel_proofs : int = 2
   -- "level of parallel proof checking: 0, 1, 2"
-public option parallel_subproofs_saturation : int = 100
+option parallel_subproofs_saturation : int = 100
   -- "upper bound for forks of nested proofs (multiplied by worker threads)"
-public option parallel_subproofs_threshold : real = 0.01
+option parallel_subproofs_threshold : real = 0.01
   -- "lower bound of timing estimate for forked nested proofs (seconds)"