diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-08-16 08:48:26 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-08-16 08:48:26 +0000 |
| commit | dc5f5811dcd26e8a67d1fb5a30c5db756c9d7391 (patch) | |
| tree | 3ef4dd5f8d52dfb3ec5116dfc17f6f88127e1e8e /src/GF/Shell | |
| parent | 6bf419c50c719ac1b2d2808c84760eb0d1258d1d (diff) | |
some more options to gt
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index e989d5104..e4a24cb9f 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -349,14 +349,15 @@ txtHelpFile = "\n the tree." ++ "\n options:" ++ "\n -metas also return trees that include metavariables" ++ - "\n -all generate all (lazily)" ++ + "\n -all generate all (can be infinitely many, 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 -nonub don't remove duplicates (faster, not effective with -mem)" ++ + "\n -mem use a memorizing algorithm (often faster, usually more memory-consuming)" ++ "\n -lang use the abstract syntax of this grammar" ++ "\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)" ++ |