NEWS;

--- a/NEWS	Fri Jun 23 22:03:51 2017 +0200
+++ b/NEWS	Fri Jun 23 22:04:14 2017 +0200
@@ -52,6 +52,10 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
+* Automatic indentation is more careful to avoid redundant spaces in
+intermediate situations. Keywords are indented after input (via typed
+characters or completion); see also option "jedit_indent_input".
+
 * Action "isabelle.preview" opens an HTML preview of the current theory
 document in the default web browser.