]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/topLevel/Readme
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / gTopLevel / topLevel / Readme
diff --git a/helm/gTopLevel/topLevel/Readme b/helm/gTopLevel/topLevel/Readme
deleted file mode 100644 (file)
index a59bba7..0000000
+++ /dev/null
@@ -1,15 +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 : -locate <nome>     : invocazione do Locate
-          -backward <indice> : invocazione di Backward
-          -show              : mostra solo i termini CIC nell'input
-          -test <indice>     : mostra l'attribuzione dei livelli per
-                               la backward, ma non la esegue 
-
-le opzioni si possono anche scrivere -l -b -s e -t
\ No newline at end of file