NEWS;

--- a/NEWS	Mon Jul 11 20:58:00 2016 +0200
+++ b/NEWS	Mon Jul 11 22:02:18 2016 +0200
@@ -76,6 +76,9 @@
 
 * Highlighting of entity def/ref positions wrt. cursor.
 
+* Indentation according to Isabelle outer syntax, cf. action
+"indent-lines" (shortcut C+i).
+
 * Action "isabelle.select-entity" (shortcut CS+ENTER) selects all
 occurences of the formal entity at the caret position. This facilitates
 systematic renaming.