src/Doc/JEdit/JEdit.thy
changeset 60264 96f8092fdd77
parent 60257 9ed816c033c5
child 60270 a147272b16f9
--- 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>