src/Pure/System/isabelle_process.ML
changeset 50119 5c370a036de7
parent 50117 32755e357a51
child 50201 c26369c9eda6
     1.1 --- a/src/Pure/System/isabelle_process.ML	Sun Nov 18 15:38:37 2012 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Sun Nov 18 16:04:13 2012 +0100
     1.3 @@ -65,7 +65,7 @@
     1.4  
     1.5  (* tracing limit *)
     1.6  
     1.7 -val tracing_limit = Unsynchronized.ref 500000;
     1.8 +val tracing_limit = Unsynchronized.ref 1000000;
     1.9  
    1.10  val tracing_limits = Synchronized.var "tracing_limits" (Inttab.empty: int Inttab.table);
    1.11  
    1.12 @@ -224,7 +224,8 @@
    1.13          if Multithreading.max_threads_value () < 2
    1.14          then Multithreading.max_threads := 2 else ();
    1.15          Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 4 else 0);
    1.16 -        Goal.parallel_proofs_threshold := Options.int options "parallel_proofs_threshold"
    1.17 +        Goal.parallel_proofs_threshold := Options.int options "parallel_proofs_threshold";
    1.18 +        tracing_limit := Options.int options "editor_tracing_limit"
    1.19        end);
    1.20  
    1.21  end;