NEWS
changeset 50119 5c370a036de7
parent 50118 89a14e495526
child 50126 3dec88149176
     1.1 --- a/NEWS	Sun Nov 18 15:38:37 2012 +0100
     1.2 +++ b/NEWS	Sun Nov 18 16:04:13 2012 +0100
     1.3 @@ -60,9 +60,9 @@
     1.4  
     1.5  * Smarter handling of tracing messages: output window informs about
     1.6  accumulated messages; prover transactions are limited to emit maximum
     1.7 -amount of output, before being canceled (cf. tracing_limit option).
     1.8 -This avoids swamping the front-end with potentially infinite message
     1.9 -streams.
    1.10 +amount of output, before being canceled (cf. system option
    1.11 +"editor_tracing_limit").  This avoids swamping the front-end with
    1.12 +potentially infinite message streams.
    1.13  
    1.14  * More plugin options and preferences, based on Isabelle/Scala.  The
    1.15  jEdit plugin option panel provides access to some Isabelle/Scala