From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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> 
-
-Opzioni : -display            : mostra solo i termini CIC nell'input
-          -typeof <URI>       : mostra il tipo dell'oggetto indicato
-	                        non riconosce tipi induttivi e prove incomplete
-          -levels <indice>    : mostra l'attribuzione dei livelli
-          -restricted         : non usa il db: vanno solo -d -t -l 
-	  -locate <nome>      : invocazione di Locate
-          -backward <indice>  : invocazione di Backward
-	  -mbackward <indice> : invoca le Backward con indice da <indice> a 0
-
-le opzioni si possono anche scrivere -d -t -l -r -L -B e -MB nell'ordine.