restricted mode to use when the database is down :)

[helm.git] / helm / gTopLevel / topLevel / Readme

diff --git a/helm/gTopLevel/topLevel/Readme b/helm/gTopLevel/topLevel/Readme
index 1607e5d835a87ec8598f27ec1b9570d71d19e63c..9f0feb7696d2220de5d86bd4339e0a03d7fbdd5c 100644 (file)
--- a/helm/gTopLevel/topLevel/Readme
+++ b/helm/gTopLevel/topLevel/Readme
@@ -10,8 +10,9 @@ 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
-          -locate <nome>      : invocazione di Locate
+          -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 -L -B e -MB nell'ordine.
+le opzioni si possono anche scrivere -d -t -l -r -L -B e -MB nell'ordine.