updated screenshots;
authorwenzelm
Fri Jun 06 12:10:33 2014 +0200 (2014-06-06)
changeset 57312afbc20986435
parent 57311 550b704d665e
child 57313 c66832858f43
updated screenshots;
src/Doc/JEdit/JEdit.thy
src/Doc/JEdit/document/auto-tools.png
src/Doc/JEdit/document/find.png
src/Doc/JEdit/document/isabelle-jedit.png
src/Doc/JEdit/document/output.png
src/Doc/JEdit/document/popup1.png
src/Doc/JEdit/document/popup2.png
src/Doc/JEdit/document/query.png
src/Doc/JEdit/document/sledgehammer.png
src/Doc/ROOT
     1.1 --- a/src/Doc/JEdit/JEdit.thy	Thu Jun 05 10:54:00 2014 +0200
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Fri Jun 06 12:10:33 2014 +0200
     1.3 @@ -65,7 +65,7 @@
     1.4  text {*
     1.5    \begin{figure}[htb]
     1.6    \begin{center}
     1.7 -  \includegraphics[width=\textwidth]{isabelle-jedit}
     1.8 +  \includegraphics[scale=0.333]{isabelle-jedit}
     1.9    \end{center}
    1.10    \caption{The Isabelle/jEdit Prover IDE}
    1.11    \label{fig:isabelle-jedit}
    1.12 @@ -387,7 +387,7 @@
    1.13  
    1.14    \begin{figure}[htb]
    1.15    \begin{center}
    1.16 -  \includegraphics[width=\textwidth]{output}
    1.17 +  \includegraphics[scale=0.333]{output}
    1.18    \end{center}
    1.19    \caption{Multiple views on prover output: gutter area with icon,
    1.20      text area with popup, overview area, Theories panel, Output panel}
    1.21 @@ -501,9 +501,9 @@
    1.22    % FIXME update
    1.23    \begin{figure}[htb]
    1.24    \begin{center}
    1.25 -  \includegraphics[scale=0.3]{find}
    1.26 +  \includegraphics[scale=0.333]{query}
    1.27    \end{center}
    1.28 -  \caption{An instance of the Find panel}
    1.29 +  \caption{An instance of the Query panel}
    1.30    \label{fig:find-theorems}
    1.31    \end{figure}
    1.32  *}
    1.33 @@ -536,7 +536,7 @@
    1.34  
    1.35    \begin{figure}[htb]
    1.36    \begin{center}
    1.37 -  \includegraphics[scale=0.3]{popup1}
    1.38 +  \includegraphics[scale=0.5]{popup1}
    1.39    \end{center}
    1.40    \caption{Tooltip and hyperlink for some formal entity}
    1.41    \label{fig:tooltip}
    1.42 @@ -548,7 +548,7 @@
    1.43  
    1.44    \begin{figure}[htb]
    1.45    \begin{center}
    1.46 -  \includegraphics[scale=0.3]{popup2}
    1.47 +  \includegraphics[scale=0.5]{popup2}
    1.48    \end{center}
    1.49    \caption{Nested tooltips over formal entities}
    1.50    \label{fig:nested-tooltips}
    1.51 @@ -860,9 +860,9 @@
    1.52  
    1.53    \begin{figure}[htb]
    1.54    \begin{center}
    1.55 -  \includegraphics[scale=0.3]{auto-tools}
    1.56 +  \includegraphics[scale=0.333]{auto-tools}
    1.57    \end{center}
    1.58 -  \caption{Results of automatically tried tools}
    1.59 +  \caption{Result of automatically tried tools}
    1.60    \label{fig:auto-tools}
    1.61    \end{figure}
    1.62  
    1.63 @@ -954,7 +954,7 @@
    1.64  
    1.65    \begin{figure}[htb]
    1.66    \begin{center}
    1.67 -  \includegraphics[scale=0.3]{sledgehammer}
    1.68 +  \includegraphics[scale=0.333]{sledgehammer}
    1.69    \end{center}
    1.70    \caption{An instance of the Sledgehammer panel}
    1.71    \label{fig:sledgehammer}
     2.1 Binary file src/Doc/JEdit/document/auto-tools.png has changed
     3.1 Binary file src/Doc/JEdit/document/find.png has changed
     4.1 Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
     5.1 Binary file src/Doc/JEdit/document/output.png has changed
     6.1 Binary file src/Doc/JEdit/document/popup1.png has changed
     7.1 Binary file src/Doc/JEdit/document/popup2.png has changed
     8.1 Binary file src/Doc/JEdit/document/query.png has changed
     9.1 Binary file src/Doc/JEdit/document/sledgehammer.png has changed
    10.1 --- a/src/Doc/ROOT	Thu Jun 05 10:54:00 2014 +0200
    10.2 +++ b/src/Doc/ROOT	Fri Jun 06 12:10:33 2014 +0200
    10.3 @@ -180,9 +180,9 @@
    10.4    document_files
    10.5      "auto-tools.png"
    10.6      "build"
    10.7 -    "find.png"
    10.8      "isabelle-jedit.png"
    10.9      "output.png"
   10.10 +    "query.png"
   10.11      "popup1.png"
   10.12      "popup2.png"
   10.13      "root.tex"