--- 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.