src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Sun Nov 18 15:38:37 2012 +0100
+++ b/src/Pure/System/isabelle_process.ML	Sun Nov 18 16:04:13 2012 +0100
@@ -65,7 +65,7 @@
 
 (* tracing limit *)
 
-val tracing_limit = Unsynchronized.ref 500000;
+val tracing_limit = Unsynchronized.ref 1000000;
 
 val tracing_limits = Synchronized.var "tracing_limits" (Inttab.empty: int Inttab.table);
 
@@ -224,7 +224,8 @@
         if Multithreading.max_threads_value () < 2
         then Multithreading.max_threads := 2 else ();
         Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 4 else 0);
-        Goal.parallel_proofs_threshold := Options.int options "parallel_proofs_threshold"
+        Goal.parallel_proofs_threshold := Options.int options "parallel_proofs_threshold";
+        tracing_limit := Options.int options "editor_tracing_limit"
       end);
 
 end;