# HG changeset patch
# User wenzelm
# Date 1498248254 -7200
# Node ID 33d7519fc35d38b6abf5266a22973deb918d4eb6
# Parent  201d42f67bba30925c8982ae19c00aa5eaaab66e
NEWS;

diff -r 201d42f67bba -r 33d7519fc35d 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.