Mercurial > pysmcl
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}