--- a/etc/options Fri Apr 01 16:15:31 2016 +0200
+++ b/etc/options Fri Apr 01 16:20:04 2016 +0200
@@ -68,6 +68,7 @@
-- "level of tracing information for multithreading"
option threads_stack_limit : real = 0.25
-- "maximum stack size for worker threads (in giga words, 0 = unlimited)"
+
public option parallel_print : bool = true
-- "parallel and asynchronous printing of results"
public option parallel_proofs : int = 2
@@ -175,4 +176,3 @@
public option completion_limit : int = 40
-- "limit for completion within the formal context"
-