matita.tex

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

diff --git a/helm/papers/matita/matita.tex b/helm/papers/matita/matita.tex
index b7b20dc2ecf468797982ad9673e0900e14998373..b5f4c590fad705ffabfcfce56ccef94b9fbf0482 100644 (file)
--- a/helm/papers/matita/matita.tex
+++ b/helm/papers/matita/matita.tex
@@ -92,7 +92,7 @@
 % \date{data}
 
 \begin{motto}
- Be primitive.
+``We are nearly bug-free'' -- \emph{CSC, Oct 2005}
 \end{motto}
 
 \begin{abstract}
@@ -839,6 +839,16 @@ using heavy math notation, would definitively be a bad choice.
 
 \subsection{tatticali}
 \ASSIGNEDTO{gares}
+\begin{verbatim}
+- problemi principali dei PA basati su tattiche
+ o illeggibilita' dello script
+ o scarsa strutturazione dello script e mantenibilita'
+   - ameliorate by tacticals
+- intro sui tatticali esistenti
+- peculiarita' di matita
+  - passo passo
+  - nice handling of sideeffects (see later on metavariables)
+\end{verbatim}
 
 \subsection{named variable e disambiguazione lazy}
 \ASSIGNEDTO{csc}