NEWS
changeset 50524 bd145273e7c6
parent 50516 ed6b40d15d1c
parent 50505 33c92722cc3d
child 50525 46be26e02456
     1.1 --- a/NEWS	Thu Dec 13 23:47:01 2012 +0100
     1.2 +++ b/NEWS	Fri Dec 14 12:40:07 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