# HG changeset patch
# User wenzelm
# Date 1468267338 -7200
# Node ID 52349e41d5dc51865d27c0a8b1b41a3af726ad00
# Parent  c4c587aedee8fb906afc62c2e4376069584da711
NEWS;

diff -r c4c587aedee8 -r 52349e41d5dc 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.