changeset 66181 | 33d7519fc35d |
parent 66149 | 4bf16fb7c14d |
child 66238 | 88b8ef0b17fd |
--- 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.