1.1 --- a/src/Doc/JEdit/JEdit.thy	Wed Jun 18 21:23:10 2014 +0200
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed Jun 18 21:47:30 2014 +0200
     1.3 @@ -690,13 +690,22 @@
     1.4  subsection {* Theories \label{sec:theories} *}
     1.5  
     1.6  text {*
     1.7 -  The \emph{Theories} panel (see also \figref{fig:output}) provides an
     1.8 +  The \emph{Theories} panel (see also \figref{fig:theories}) provides an
     1.9    overview of the status of continuous checking of theory nodes within the
    1.10    document model. Unlike batch sessions of @{tool build} \cite{isabelle-sys},
    1.11    theory nodes are identified by full path names; this allows to work with
    1.12    multiple (disjoint) Isabelle sessions simultaneously within the same editor
    1.13    session.
    1.14  
    1.15 +  \begin{figure}[htb]
    1.16 +  \begin{center}
    1.17 +  \includegraphics[scale=0.333]{theories}
    1.18 +  \end{center}
    1.19 +  \caption{Theories panel with an overview of the document-model, and some
    1.20 +  jEdit text areas as editable view on some of the document nodes}
    1.21 +  \label{fig:theories}
    1.22 +  \end{figure}
    1.23 +
    1.24    Certain events to open or update editor buffers cause Isabelle/jEdit to
    1.25    resolve dependencies of theory imports. The system requests to load
    1.26    additional files into editor buffers, in order to be included in the

     2.1 Binary file src/Doc/JEdit/document/theories.png has changed

     3.1 --- a/src/Doc/ROOT	Wed Jun 18 21:23:10 2014 +0200
     3.2 +++ b/src/Doc/ROOT	Wed Jun 18 21:47:30 2014 +0200
     3.3 @@ -188,6 +188,7 @@
     3.4      "root.tex"
     3.5      "sidekick.png"
     3.6      "sledgehammer.png"
     3.7 +    "theories.png"
     3.8  
     3.9  session Sugar (doc) in "Sugar" = HOL +
    3.10    options [document_variants = "sugar"]