# HG changeset patch
# User wenzelm
# Date 1402049433 -7200
# Node ID afbc2098643539edee21db49a072c093a4a2f84d
# Parent  550b704d665e03c786dd9c78dcb813e236f3e5a4
updated screenshots;

diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Thu Jun 05 10:54:00 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Fri Jun 06 12:10:33 2014 +0200
@@ -65,7 +65,7 @@
 text {*
   \begin{figure}[htb]
   \begin{center}
-  \includegraphics[width=\textwidth]{isabelle-jedit}
+  \includegraphics[scale=0.333]{isabelle-jedit}
   \end{center}
   \caption{The Isabelle/jEdit Prover IDE}
   \label{fig:isabelle-jedit}
@@ -387,7 +387,7 @@
 
   \begin{figure}[htb]
   \begin{center}
-  \includegraphics[width=\textwidth]{output}
+  \includegraphics[scale=0.333]{output}
   \end{center}
   \caption{Multiple views on prover output: gutter area with icon,
     text area with popup, overview area, Theories panel, Output panel}
@@ -501,9 +501,9 @@
   % FIXME update
   \begin{figure}[htb]
   \begin{center}
-  \includegraphics[scale=0.3]{find}
+  \includegraphics[scale=0.333]{query}
   \end{center}
-  \caption{An instance of the Find panel}
+  \caption{An instance of the Query panel}
   \label{fig:find-theorems}
   \end{figure}
 *}
@@ -536,7 +536,7 @@
 
   \begin{figure}[htb]
   \begin{center}
-  \includegraphics[scale=0.3]{popup1}
+  \includegraphics[scale=0.5]{popup1}
   \end{center}
   \caption{Tooltip and hyperlink for some formal entity}
   \label{fig:tooltip}
@@ -548,7 +548,7 @@
 
   \begin{figure}[htb]
   \begin{center}
-  \includegraphics[scale=0.3]{popup2}
+  \includegraphics[scale=0.5]{popup2}
   \end{center}
   \caption{Nested tooltips over formal entities}
   \label{fig:nested-tooltips}
@@ -860,9 +860,9 @@
 
   \begin{figure}[htb]
   \begin{center}
-  \includegraphics[scale=0.3]{auto-tools}
+  \includegraphics[scale=0.333]{auto-tools}
   \end{center}
-  \caption{Results of automatically tried tools}
+  \caption{Result of automatically tried tools}
   \label{fig:auto-tools}
   \end{figure}
 
@@ -954,7 +954,7 @@
 
   \begin{figure}[htb]
   \begin{center}
-  \includegraphics[scale=0.3]{sledgehammer}
+  \includegraphics[scale=0.333]{sledgehammer}
   \end{center}
   \caption{An instance of the Sledgehammer panel}
   \label{fig:sledgehammer}
diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/document/auto-tools.png
Binary file src/Doc/JEdit/document/auto-tools.png has changed
diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/document/find.png
Binary file src/Doc/JEdit/document/find.png has changed
diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/document/isabelle-jedit.png
Binary file src/Doc/JEdit/document/isabelle-jedit.png has changed
diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/document/output.png
Binary file src/Doc/JEdit/document/output.png has changed
diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/document/popup1.png
Binary file src/Doc/JEdit/document/popup1.png has changed
diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/document/popup2.png
Binary file src/Doc/JEdit/document/popup2.png has changed
diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/document/query.png
Binary file src/Doc/JEdit/document/query.png has changed
diff -r 550b704d665e -r afbc20986435 src/Doc/JEdit/document/sledgehammer.png
Binary file src/Doc/JEdit/document/sledgehammer.png has changed
diff -r 550b704d665e -r afbc20986435 src/Doc/ROOT
--- a/src/Doc/ROOT	Thu Jun 05 10:54:00 2014 +0200
+++ b/src/Doc/ROOT	Fri Jun 06 12:10:33 2014 +0200
@@ -180,9 +180,9 @@
   document_files
     "auto-tools.png"
     "build"
-    "find.png"
     "isabelle-jedit.png"
     "output.png"
+    "query.png"
     "popup1.png"
     "popup2.png"
     "root.tex"