added some screenshots

[helm.git] / helm / papers / matita / matita2.tex

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index 76fe5c6cebfc66ebbe40c9883af311b6a240b047..a315c8faad9df2c8e0386d0706eedf165e7ddaa9 100644 (file)
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -1,4 +1,4 @@
-\documentclass[draft]{kluwer}
+\documentclass[]{kluwer}
 \usepackage{color}
 \usepackage{graphicx}
 % \usepackage{amssymb,amsmath}
@@ -7,6 +7,7 @@
 \usepackage{color}
 \usepackage{fancyvrb}
 \usepackage[show]{ed}
+\usepackage{floatflt}
 
 \definecolor{gray}{gray}{0.85}
 %\newcommand{\logo}[3]{
@@ -273,8 +274,8 @@ ROBA CHE MANCA:
 
 \begin{figure}[t]
  \begin{center}
-%   \includegraphics[width=0.9\textwidth]{a.eps}
-  \caption{\MATITA{} screenshot}
+  \includegraphics[width=0.95\textwidth]{matita-screenshot}
+  \caption{\MATITA{} look and feel}
   \label{fig:screenshot}
  \end{center}
 \end{figure}
@@ -1155,6 +1156,16 @@ and admitted ambiguity in terms input by users.
 
 \subsection{Patterns}
 
+\begin{figure}[t]
+ \begin{center}
+  \includegraphics[width=0.40\textwidth]{matita-screenshot-selection}
+  \hspace{0.05\textwidth}
+  \includegraphics[width=0.50\textwidth]{matita-screenshot-href}
+  \caption{Semantic selection and hyperlinks}
+  \label{fig:semselection}
+ \end{center}
+\end{figure}
+
 serve una intro che almeno cita il widget (per i patterns) e che fa
 il resoconto delle cose che abbiamo e che non descriviamo,
 sottolineando che abbiamo qualcosa da dire sui pattern e sui