NEWS
changeset 66181 33d7519fc35d
parent 66149 4bf16fb7c14d
child 66238 88b8ef0b17fd
     1.1 --- a/NEWS	Fri Jun 23 22:03:51 2017 +0200
     1.2 +++ b/NEWS	Fri Jun 23 22:04:14 2017 +0200
     1.3 @@ -52,6 +52,10 @@
     1.4  
     1.5  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.6  
     1.7 +* Automatic indentation is more careful to avoid redundant spaces in
     1.8 +intermediate situations. Keywords are indented after input (via typed
     1.9 +characters or completion); see also option "jedit_indent_input".
    1.10 +
    1.11  * Action "isabelle.preview" opens an HTML preview of the current theory
    1.12  document in the default web browser.
    1.13