NEWS
changeset 58758 790ff9eb2578
parent 58716 23a380cc45f4
child 58759 e55fe82f3803
--- a/NEWS	Tue Oct 21 21:32:12 2014 +0200
+++ b/NEWS	Tue Oct 21 21:35:45 2014 +0200
@@ -20,6 +20,10 @@
 * Improved folding mode "isabelle" based on Isar syntax.
 Alternatively, the "sidekick" mode may be used for document structure.
 
+* Extended bracket matching based on Isar language structure.  System
+option jedit_structure_limit determines maximum number of lines to
+scan in the buffer.
+
 * Support for BibTeX files: context menu, context-sensitive token
 marker, SideKick parser.