1.1 --- a/NEWS	Sat Jul 13 14:11:48 2013 +0200
     1.2 +++ b/NEWS	Sat Jul 13 14:13:34 2013 +0200
     1.3 @@ -43,6 +43,16 @@
     1.4  
     1.5  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.6  
     1.7 +* Strictly monotonic document update, without premature cancelation of
     1.8 +running transactions that are still needed: avoid reset/restart of
     1.9 +such command executions while editing.
    1.10 +
    1.11 +* Support for asynchronous print functions, as overlay to existing
    1.12 +document content.
    1.13 +
    1.14 +* Support for automatic tools in HOL, which try to prove or disprove
    1.15 +toplevel theorem statements.
    1.16 +
    1.17  * Dockable window "Documentation" provides access to Isabelle
    1.18  documentation.
    1.19