From: Claudio Sacerdoti Coen Date: Mon, 21 Oct 2002 17:09:59 +0000 (+0000) Subject: No more useful X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~21 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=500627d36e789bb09eada3988afe8dffd4e8e4de;p=helm.git No more useful --- 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.