--- a/NEWS Thu Aug 04 21:21:31 2016 +0200
+++ b/NEWS Thu Aug 04 21:25:16 2016 +0200
@@ -85,6 +85,9 @@
are treated as delimiters for fold structure; 'begin' and 'end'
structure of theory specifications is treated as well.
+* Sidekick parser "isabelle-context" shows nesting of context blocks
+according to 'begin' and 'end' structure.
+
* Syntactic indentation according to Isabelle outer syntax. Action
"indent-lines" (shortcut C+i) indents the current line according to
command keywords and some command substructure. Action