From 2a1845d8553ee753ad3b82901840900cba738a5e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 17 Nov 2005 15:18:54 +0000
Subject: [PATCH] matita.tex

---
 helm/papers/matita/matita.tex | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/helm/papers/matita/matita.tex b/helm/papers/matita/matita.tex
index b7b20dc2e..b5f4c590f 100644
--- 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}
-- 
2.39.2