NEWS
changeset 64527 49708cffb98d
parent 64523 49a29161d8ef
child 64529 1c0b93961cb1
child 64551 79e9587dbcca
     1.1 --- a/NEWS	Sun Nov 27 13:13:26 2016 +0100
     1.2 +++ b/NEWS	Sun Nov 27 13:19:29 2016 +0100
     1.3 @@ -66,6 +66,11 @@
     1.4  
     1.5  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.6  
     1.7 +* More aggressive flushing of machine-generated input, according to
     1.8 +system option editor_generated_input_delay (in addition to existing
     1.9 +editor_input_delay for regular user edits). This may affect overall PIDE
    1.10 +reactivity and CPU usage.
    1.11 +
    1.12  * Syntactic indentation according to Isabelle outer syntax. Action
    1.13  "indent-lines" (shortcut C+i) indents the current line according to
    1.14  command keywords and some command substructure. Action