added screenshot;
authorwenzelm
Tue Jun 17 22:18:18 2014 +0200 (2014-06-17)
changeset 57336e13c5dd9c7de
parent 57335 f911187ada43
child 57337 8b46b57008ea
added screenshot;
src/Doc/JEdit/JEdit.thy
src/Doc/JEdit/document/sidekick.png
src/Doc/ROOT
     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 +