X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Fmatita2.tex;h=564612b36912ddaf2da4794e5a2a0f303a66163b;hb=ec7272301a06b353ba9bb92e547ab08c8195f811;hp=a315c8faad9df2c8e0386d0706eedf165e7ddaa9;hpb=b895499591c0c0fbf1576d9b52db0e399d279873;p=helm.git

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index a315c8faa..564612b36 100644
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -7,7 +7,6 @@
 \usepackage{color}
 \usepackage{fancyvrb}
 \usepackage[show]{ed}
-\usepackage{floatflt}
 
 \definecolor{gray}{gray}{0.85}
 %\newcommand{\logo}[3]{
@@ -1160,7 +1159,7 @@ and admitted ambiguity in terms input by users.
  \begin{center}
   \includegraphics[width=0.40\textwidth]{matita-screenshot-selection}
   \hspace{0.05\textwidth}
-  \includegraphics[width=0.50\textwidth]{matita-screenshot-href}
+  \raisebox{0.4cm}{\includegraphics[width=0.50\textwidth]{matita-screenshot-href}}
   \caption{Semantic selection and hyperlinks}
   \label{fig:semselection}
  \end{center}