From: Luca Padovani <luca.padovani@unito.it>
Date: Mon, 6 Jun 2005 08:29:01 +0000 (+0000)
Subject: * update
X-Git-Tag: PRE_INDEX_1~66
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bd6f44797ad9d5b72e2177d885f5e56aaa2bea4d;p=helm.git

* update
---

diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO
index c78e93c13..f6062ad27 100644
--- a/helm/ocaml/cic_notation/TODO
+++ b/helm/ocaml/cic_notation/TODO
@@ -11,4 +11,5 @@
 * implementare compilazione dei default in 2 => 1 e
   relativa istanziazione
 * gestione greedyness dei magic in 2 => 1
-* studiare/implementare sintassi con ... per i magic fold
+* sintassi concreta / prelexing
+  - studiare/implementare sintassi con ... per i magic fold