From df14d9f91343f97a90ea16762f364cdb60b9651b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 7 Jun 2005 15:25:11 +0000 Subject: [PATCH] added integration entry --- helm/ocaml/cic_notation/TODO | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO index 133661397..0d45846e5 100644 --- a/helm/ocaml/cic_notation/TODO +++ b/helm/ocaml/cic_notation/TODO @@ -13,6 +13,8 @@ TODO * gestione greedyness dei magic in 2 => 1 * sintassi concreta / prelexing - studiare/implementare sintassi con ... per i magic fold +* integrazione + - porting della disambiguazione al nuovo ast DONE -- 2.39.2