# HG changeset patch
# User wenzelm
# Date 1413665399 -7200
# Node ID 92f935f34b283ab38897feefb2b7ec4e21348864
# Parent  883efcc7a50d34e06e19045e93438e28e85bc575
NEWS;

diff -r 883efcc7a50d -r 92f935f34b28 NEWS
--- a/NEWS	Sat Oct 18 22:41:36 2014 +0200
+++ b/NEWS	Sat Oct 18 22:49:59 2014 +0200
@@ -17,6 +17,8 @@
 
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
+* Improved folding mode "isabelle" based on Isar syntax.
+
 * Support for BibTeX files: context menu, context-sensitive token
 marker, SideKick parser.