# HG changeset patch
# User wenzelm
# Date 1470338716 -7200
# Node ID d83cb0902e4fcc2c934a044d343340eea9572121
# Parent  7246254d558fbe40e0f6e17898b649aa3b135bae
NEWS;

diff -r 7246254d558f -r d83cb0902e4f NEWS
--- 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