1.1 --- a/src/Doc/JEdit/JEdit.thy Tue Jun 17 22:00:25 2014 +0200
1.2 +++ b/src/Doc/JEdit/JEdit.thy Tue Jun 17 22:18:18 2014 +0200
1.3 @@ -540,10 +540,18 @@
1.4 The \emph{SideKick} plugin provides some general services to display buffer
1.5 structure in a tree view.
1.6
1.7 - Isabelle/jEdit provides SideKick parsers for its main mode for
1.8 - theory files, as well as some minor modes for the @{verbatim NEWS}
1.9 - file, session @{verbatim ROOT} files, and system @{verbatim
1.10 - options}.
1.11 + Isabelle/jEdit provides SideKick parsers for its main mode for theory files,
1.12 + as well as some minor modes for the @{verbatim NEWS} file (see
1.13 + \figref{fig:sidekick}), session @{verbatim ROOT} files, and system
1.14 + @{verbatim options}.
1.15 +
1.16 + \begin{figure}[htb]
1.17 + \begin{center}
1.18 + \includegraphics[scale=0.333]{sidekick}
1.19 + \end{center}
1.20 + \caption{The Isabelle NEWS file with SideKick tree view}
1.21 + \label{fig:sidekick}
1.22 + \end{figure}
1.23
1.24 Moreover, the special SideKick parser @{verbatim "isabelle-markup"}
1.25 provides access to the full (uninterpreted) markup tree of the PIDE
2.1 Binary file src/Doc/JEdit/document/sidekick.png has changed
3.1 --- a/src/Doc/ROOT Tue Jun 17 22:00:25 2014 +0200
3.2 +++ b/src/Doc/ROOT Tue Jun 17 22:18:18 2014 +0200
3.3 @@ -186,6 +186,7 @@
3.4 "popup1.png"
3.5 "popup2.png"
3.6 "root.tex"
3.7 + "sidekick.png"
3.8 "sledgehammer.png"
3.9
3.10 session Sugar (doc) in "Sugar" = HOL +