From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 17 Nov 2005 15:18:54 +0000 (+0000)
Subject: matita.tex
X-Git-Tag: V_0_7_2_3~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=2a1845d8553ee753ad3b82901840900cba738a5e

matita.tex
---

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}