From 500627d36e789bb09eada3988afe8dffd4e8e4de Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 21 Oct 2002 17:09:59 +0000 Subject: [PATCH] No more useful --- helm/gTopLevel/topLevel/Readme | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 helm/gTopLevel/topLevel/Readme diff --git a/helm/gTopLevel/topLevel/Readme b/helm/gTopLevel/topLevel/Readme deleted file mode 100644 index 9f0feb769..000000000 --- a/helm/gTopLevel/topLevel/Readme +++ /dev/null @@ -1,18 +0,0 @@ -uso del tool topLevel - -Il tool e` un interfaccia testuale per mQueryGenerator che prende dati -dallo stdin e restituisce l'output su stdout in formato html. -L'input puo' contenere piu' di un termine CIC (usare ; per separare). - -Sintassi: topLevel - -Opzioni : -display : mostra solo i termini CIC nell'input - -typeof : mostra il tipo dell'oggetto indicato - non riconosce tipi induttivi e prove incomplete - -levels : mostra l'attribuzione dei livelli - -restricted : non usa il db: vanno solo -d -t -l - -locate : invocazione di Locate - -backward : invocazione di Backward - -mbackward : invoca le Backward con indice da a 0 - -le opzioni si possono anche scrivere -d -t -l -r -L -B e -MB nell'ordine. -- 2.39.2