X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Fmatita2.tex;h=c5c0fff05b9e433c444bd921cf1ed71982c5904f;hb=18c6848695fbfa97508e0981f6875a6459429a58;hp=fad520ad32b88fe42653294358e065ed3d67f57c;hpb=804b1a97072cf1d1c76bc32338d0b068bcb2159f;p=helm.git

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index fad520ad3..c5c0fff05 100644
--- 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}
@@ -270,6 +270,14 @@ allow other developers to quickly understand our code and contribute.
  \end{center}
 \end{figure}
 
+\begin{figure}[t]
+ \begin{center}
+  \includegraphics[width=0.9\textwidth]{libraries.ps}
+  \caption{\MATITA{} libraries}
+  \label{fig:libraries}
+ \end{center}
+\end{figure}
+
 \section{Overview of the Architecture}
 Fig.~\ref{fig:libraries} shows the architecture of the \emph{libraries} (circle nodes)
 and \emph{applications} (squared nodes) developed in the HELM project.
@@ -1252,7 +1260,7 @@ development of the library, encouraging people to expand,
 modify and elaborate previous contributions.
 
 \subsection{Matita's naming convention}
-A minor but not entirely negligeable aspect of Matita is that of
+A minor but not entirely negligible aspect of Matita is that of
 adopting a (semi)-rigid naming convention for identifiers, derived by 
 our studies about metadata for statements. 
 The convention is only applied to identifiers for theorems 
@@ -1323,7 +1331,7 @@ expression and the suffix \verb+_to_Prop+. In the above example,
 We would like to thank all the students that during the past
 five years collaborated in the \HELM{} project and contributed to 
 the development of Matita, and in particular
-A.~Griggio, F.~Guidi, P.~Di~Lena, L.~Padovani, I.~Schena, M.~Selmi, 
+M.~Galat\`a, A.~Griggio, F.~Guidi, P.~Di~Lena, L.~Padovani, I.~Schena, M.~Selmi,
 and V.~Tamburrelli.
 
 \theendnotes