]> matita.cs.unibo.it Git - helm.git/blob - helm/gTopLevel/topLevel/Readme
mathQL modified, stderr corrected to stdout im mathql_interpreter,
[helm.git] / helm / gTopLevel / topLevel / Readme
1 uso del tool topLevel
2
3 Il tool e` un interfaccia testuale per mQueryGenerator che prende dati
4 dallo stdin e restituisce l'output su stdout in formato html.
5 L'input puo' contenere piu' di un termine CIC (usare ; per separare).
6
7 Sintassi: topLevel <opzioni> 
8
9 Opzioni : -locate <nome>     : invocazione do Locate
10           -backward <indice> : invocazione di Backward
11           -show              : mostra solo i termini CIC nell'input
12           -test <indice>     : mostra l'attribuzione dei livelli per
13                                la backward, ma non la esegue 
14
15 le opzioni si possono anche scrivere -l -b -s e -t