author | wenzelm |
Fri, 23 Jun 2017 22:04:14 +0200 | |
changeset 66181 | 33d7519fc35d |
parent 66180 | 201d42f67bba |
child 66182 | 1a4b6ae5e72b |
--- 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.