From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 8 Jul 2005 12:37:08 +0000 (+0000)
Subject: ...
X-Git-Tag: pre_notation~71
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7e6c3ccdd86299d7fae896cc7daec116fd07c32a;p=helm.git

...
---

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 271b854f0..6bd85cfd6 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -2,6 +2,7 @@
 (**********************************************************************)
 
 TODO
+- parsing contestuale (tattiche replace, change e forse altre)
 - assiomi
 - Guardare il commento
   (*CSC: this code is suspect and/or bugged: we try first without reduction