From bd6f44797ad9d5b72e2177d885f5e56aaa2bea4d Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Mon, 6 Jun 2005 08:29:01 +0000 Subject: [PATCH] * update --- helm/ocaml/cic_notation/TODO | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.39.2