# HG changeset patch
# User wenzelm
# Date 1373717614 -7200
# Node ID 80590a0899844e1120a563318965ce4c7594ab4b
# Parent  e8c1c561267706fb2fd5ad4b9a6e8258ce874575
NEWS;

diff -r e8c1c5612677 -r 80590a089984 NEWS
--- a/NEWS	Sat Jul 13 14:11:48 2013 +0200
+++ b/NEWS	Sat Jul 13 14:13:34 2013 +0200
@@ -43,6 +43,16 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
+* Strictly monotonic document update, without premature cancelation of
+running transactions that are still needed: avoid reset/restart of
+such command executions while editing.
+
+* Support for asynchronous print functions, as overlay to existing
+document content.
+
+* Support for automatic tools in HOL, which try to prove or disprove
+toplevel theorem statements.
+
 * Dockable window "Documentation" provides access to Isabelle
 documentation.