From 13494c7c3ca9fde61c7476d0be6109b33c64b3a7 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 14 Sep 2005 08:55:16 +0000 Subject: [PATCH] done some items --- helm/ocaml/cic_notation/TODO | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/cic_notation/TODO b/helm/ocaml/cic_notation/TODO index 4c6fe3575..a98131c07 100644 --- a/helm/ocaml/cic_notation/TODO +++ b/helm/ocaml/cic_notation/TODO @@ -9,13 +9,14 @@ TODO - studiare/implementare sintassi con ... per i magic fold * trasformazioni - parentesi cagose (tail) - - spacing delle keyword - - hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match - hyperlink multipli con il magic fold (e.g. notazione per le liste) - ident0 -> ident_0 ? DONE +* trasformazioni + - spacing delle keyword + - hyperlink su head dei case pattern e sul tipo induttivo su cui si fa match * bug di rimozione della notazione: pare che camlp4 distrugga un livello grammaticale quando toglie l'ultima produzione ivi definita * pretty printing verso testo -- 2.39.2