NEWS
changeset 50505 33c92722cc3d
parent 50455 c7f366a861ed
child 50524 bd145273e7c6
     1.1 --- a/NEWS	Thu Dec 13 18:15:53 2012 +0100
     1.2 +++ b/NEWS	Thu Dec 13 19:53:55 2012 +0100
     1.3 @@ -69,10 +69,9 @@
     1.4  * More efficient painting and improved reactivity when editing large
     1.5  files.  More scalable management of formal document content.
     1.6  
     1.7 -* Smarter handling of tracing messages: output window informs about
     1.8 -accumulated messages; prover transactions are limited to emit maximum
     1.9 -amount of output, before being canceled (cf. system option
    1.10 -"editor_tracing_limit_MB").  This avoids swamping the front-end with
    1.11 +* Smarter handling of tracing messages: prover process pauses after
    1.12 +certain number of messages per command transaction, with some user
    1.13 +dialog to stop or continue.  This avoids swamping the front-end with
    1.14  potentially infinite message streams.
    1.15  
    1.16  * More plugin options and preferences, based on Isabelle/Scala.  The