# HG changeset patch
# User wenzelm
# Date 1413715654 -7200
# Node ID 6001375db25160fef5defbeb9e1aa64b7fc62aed
# Parent  40abd7818bca98786d93cf40678c18e707df8cc6
NEWS;

diff -r 40abd7818bca -r 6001375db251 NEWS
--- a/NEWS	Sun Oct 19 12:07:03 2014 +0200
+++ b/NEWS	Sun Oct 19 12:47:34 2014 +0200
@@ -18,6 +18,7 @@
 *** Prover IDE -- Isabelle/Scala/jEdit ***
 
 * Improved folding mode "isabelle" based on Isar syntax.
+Alternatively, the "sidekick" mode may be used for document structure.
 
 * Support for BibTeX files: context menu, context-sensitive token
 marker, SideKick parser.