--- a/NEWS Sun Nov 18 15:38:37 2012 +0100
+++ b/NEWS Sun Nov 18 16:04:13 2012 +0100
@@ -60,9 +60,9 @@
* 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. tracing_limit option).
-This avoids swamping the front-end with potentially infinite message
-streams.
+amount of output, before being canceled (cf. system option
+"editor_tracing_limit"). This avoids swamping the front-end with
+potentially infinite message streams.
* More plugin options and preferences, based on Isabelle/Scala. The
jEdit plugin option panel provides access to some Isabelle/Scala