# HG changeset patch
# User wenzelm
# Date 1468328027 -7200
# Node ID f10feaa9b14a5d31b7a941ef3dc3182cff7137ab
# Parent  f410705103414d963d94182c754bbdd56d7b7793
NEWS;

diff -r f41070510341 -r f10feaa9b14a NEWS
--- a/NEWS	Tue Jul 12 14:51:39 2016 +0200
+++ b/NEWS	Tue Jul 12 14:53:47 2016 +0200
@@ -76,6 +76,9 @@
 
 * Highlighting of entity def/ref positions wrt. cursor.
 
+* Refined folding mode "isabelle" based on Isar syntax: 'next' and 'qed'
+are treated as delimiters for fold structure.
+
 * Improved support for 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