changeset 306:76417e62d6f4

Moved screenshot
author Sigurd Meldgaard <stm@daimi.au.dk>
date Thu, 15 Apr 2010 12:45:34 +0200
parents 8d2392884d50
children 167f43b15439
files provsec/paper.tex
diffstat 1 files changed, 10 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- a/provsec/paper.tex	Tue Apr 13 13:41:06 2010 +0200
+++ b/provsec/paper.tex	Thu Apr 15 12:45:34 2010 +0200
@@ -7,6 +7,7 @@
 \usepackage{amssymb}
 \usepackage{hyperref}
 \usepackage{url}
+\usepackage{fullpage}
 \usepackage[firstpage]{draftwatermark}
 \SetWatermarkText{\input "|hg parents --template='{node}'"}
 
@@ -839,16 +840,7 @@
 for example in conjunction with the Pydev plugin
 (\url{http://pydev.org/}). It interacts with the analysis framework,
 highlights errors, and gives information about inferred values, and
-describes rewrites.
-
-\begin{figure}
-  \centering
-  \includegraphics[width=1.0\textwidth]{screenshot}
-  \caption{A screenshot of the auction program edited with the Eclipse
-    plugin. Two boxes with output from the tool are shown.}
-  
-\end{figure}
-
+describes rewrites. See figure \ref{screenshot}
 
 \section{The prototype}
 We have implemented a prototype of an analysis framework, and run-time
@@ -872,6 +864,14 @@
 \bibliographystyle{plain}
 \bibliography{refs}
 
+\begin{figure}
+  \centering
+  \includegraphics[width=1.0\textwidth]{screenshot}
+  \caption{A screenshot of the auction program edited with the Eclipse
+    plugin. Two boxes with output from the tool are shown.}
+  \label{screenshot}
+\end{figure}
+
 \end{document}