X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtopLevel%2FReadme;fp=helm%2FgTopLevel%2FtopLevel%2FReadme;h=a59bba799bcee0885e69b323b498bef35d03abaf;hb=dec50888f98015c937283acc14e2ffceccc04a11;hp=0000000000000000000000000000000000000000;hpb=b89599c60d93bfc05dc15d6e22348fcc87fa722f;p=helm.git

diff --git a/helm/gTopLevel/topLevel/Readme b/helm/gTopLevel/topLevel/Readme
new file mode 100644
index 000000000..a59bba799
--- /dev/null
+++ b/helm/gTopLevel/topLevel/Readme
@@ -0,0 +1,15 @@
+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