more documentation;
authorwenzelm
Tue May 05 16:50:52 2015 +0200 (2015-05-05)
changeset 6026496f8092fdd77
parent 60263 2a5dbad75355
child 60265 21193e45df14
more documentation;
src/Doc/JEdit/JEdit.thy
     1.1 --- a/src/Doc/JEdit/JEdit.thy	Tue May 05 16:25:26 2015 +0200
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Tue May 05 16:50:52 2015 +0200
     1.3 @@ -1595,7 +1595,13 @@
     1.4    \caption{Isabelle document outline via SideKick tree view}
     1.5    \label{fig:sidekick-document}
     1.6    \end{figure}
     1.7 -\<close>
     1.8 +
     1.9 +  It is also possible to use text folding according to this structure, by
    1.10 +  adjusting \emph{Utilities / Buffer Options / Folding mode} of jEdit. The
    1.11 +  default mode @{verbatim isabelle} uses the structure of formal definitions,
    1.12 +  statements, and proofs. The alternative mode @{verbatim sidekick} uses the
    1.13 +  document structure of the SideKick parser, as explained above.\<close>
    1.14 +
    1.15  
    1.16  section \<open>Citations and Bib{\TeX} entries\<close>
    1.17