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