--- a/src/Pure/System/isabelle_process.ML Mon Dec 10 15:46:50 2012 +0100
+++ b/src/Pure/System/isabelle_process.ML Mon Dec 10 16:06:57 2012 +0100
@@ -224,7 +224,8 @@
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";
- tracing_limit := Options.int options "editor_tracing_limit"
+ tracing_limit :=
+ Real.round (Options.real options "editor_tracing_limit_MB" * 1024.0 * 1024.0)
end);
end;