help for gt

This commit is contained in:
aarne
2006-08-15 20:28:37 +00:00
parent 2e9eea7d00
commit 967de6946d
3 changed files with 10 additions and 3 deletions

View File

@@ -349,13 +349,16 @@ txtHelpFile =
"\n the tree." ++
"\n options:" ++
"\n -metas also return trees that include metavariables" ++
"\n -all generate all (lazily)" ++
"\n -lin linearize result of -all (otherwise, use pipe to linearize)" ++
"\n flags:" ++
"\n -depth generate to this depth (default 3)" ++
"\n -atoms take this number of atomic rules of each category (default unlimited)" ++
"\n -alts take this number of alternatives at each branch (default unlimited)" ++
"\n -cat generate in this category" ++
"\n -old use an older algorithm (usually more memory-consuming)" ++
"\n -lang use the abstract syntax of this grammar" ++
"\n -number generate (at most) this number of trees" ++
"\n -number generate (at most) this number of trees (also works with -all)" ++
"\n -noexpand don't expand these categories (comma-separated, e.g. -noexpand=V,CN)" ++
"\n -doexpand only expand these categories (comma-separated, e.g. -doexpand=V,CN)" ++
"\n examples:" ++