summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-03-06 21:27:49 +0000
committeraarne <aarne@cs.chalmers.se>2006-03-06 21:27:49 +0000
commit7d2a9992f3faee63461185580bbe254f6c288a68 (patch)
treeb9c968024a3d57ce5b630e3a24945a6ab87a95e6 /src/HelpFile
parenta961739bbf672eaad0a26fb15372fcc68c902ef1 (diff)
more treebank options; updated history
Diffstat (limited to 'src/HelpFile')
-rw-r--r--src/HelpFile3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/HelpFile b/src/HelpFile
index bea9a7b9a..58c4c1262 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -223,7 +223,8 @@ ut, use_treebank: ut String
options:
-assocs show all string-trees associations in the treebank
-strings show all strings in the treebank
- -raw return result as string, without typechecking it
+ -trees show all trees in the treebank
+ -raw return the lookup result as string, without typechecking it
flags:
-treebank use this treebank (instead of the latest introduced one)
examples: