NEWS
changeset 58759 e55fe82f3803
parent 58740 cb9d84d3e7f2
parent 58758 790ff9eb2578
child 58770 ae5e9b4f8daf
--- a/NEWS	Tue Oct 21 21:10:44 2014 +0200
+++ b/NEWS	Tue Oct 21 21:55: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.