--- a/NEWS Mon Dec 10 15:46:50 2012 +0100
+++ b/NEWS Mon Dec 10 16:06:57 2012 +0100
@@ -72,7 +72,7 @@
* Smarter handling of tracing messages: output window informs about
accumulated messages; prover transactions are limited to emit maximum
amount of output, before being canceled (cf. system option
-"editor_tracing_limit"). This avoids swamping the front-end with
+"editor_tracing_limit_MB"). This avoids swamping the front-end with
potentially infinite message streams.
* More plugin options and preferences, based on Isabelle/Scala. The