# HG changeset patch
# User wenzelm
# Date 1430837452 -7200
# Node ID 96f8092fdd77708f541b9df2e75f0fbe21193b27
# Parent  2a5dbad7535522c35942708ccc1b9a98347917a8
more documentation;

diff -r 2a5dbad75355 -r 96f8092fdd77 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Tue May 05 16:25:26 2015 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Tue May 05 16:50:52 2015 +0200
@@ -1595,7 +1595,13 @@
   \caption{Isabelle document outline via SideKick tree view}
   \label{fig:sidekick-document}
   \end{figure}
-\<close>
+
+  It is also possible to use text folding according to this structure, by
+  adjusting \emph{Utilities / Buffer Options / Folding mode} of jEdit. The
+  default mode @{verbatim isabelle} uses the structure of formal definitions,
+  statements, and proofs. The alternative mode @{verbatim sidekick} uses the
+  document structure of the SideKick parser, as explained above.\<close>
+
 
 section \<open>Citations and Bib{\TeX} entries\<close>