--- a/src/Doc/JEdit/JEdit.thy Tue Jun 17 22:00:25 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy Tue Jun 17 22:18:18 2014 +0200
@@ -540,10 +540,18 @@
The \emph{SideKick} plugin provides some general services to display buffer
structure in a tree view.
- Isabelle/jEdit provides SideKick parsers for its main mode for
- theory files, as well as some minor modes for the @{verbatim NEWS}
- file, session @{verbatim ROOT} files, and system @{verbatim
- options}.
+ Isabelle/jEdit provides SideKick parsers for its main mode for theory files,
+ as well as some minor modes for the @{verbatim NEWS} file (see
+ \figref{fig:sidekick}), session @{verbatim ROOT} files, and system
+ @{verbatim options}.
+
+ \begin{figure}[htb]
+ \begin{center}
+ \includegraphics[scale=0.333]{sidekick}
+ \end{center}
+ \caption{The Isabelle NEWS file with SideKick tree view}
+ \label{fig:sidekick}
+ \end{figure}
Moreover, the special SideKick parser @{verbatim "isabelle-markup"}
provides access to the full (uninterpreted) markup tree of the PIDE
Binary file src/Doc/JEdit/document/sidekick.png has changed
--- a/src/Doc/ROOT Tue Jun 17 22:00:25 2014 +0200
+++ b/src/Doc/ROOT Tue Jun 17 22:18:18 2014 +0200
@@ -186,6 +186,7 @@
"popup1.png"
"popup2.png"
"root.tex"
+ "sidekick.png"
"sledgehammer.png"
session Sugar (doc) in "Sugar" = HOL +
