diff -r 58c4f3e1870f -r fe6651760643 etc/options
--- a/etc/options	Thu Jan 29 13:58:02 2015 +0100
+++ b/etc/options	Thu Jan 29 15:21:16 2015 +0100
@@ -66,6 +66,8 @@
   -- "maximum number of worker threads for prover process (0 = hardware max.)"
 option threads_trace : int = 0
   -- "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