diff options
| author | aarne <unknown> | 2005-10-12 11:38:29 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-10-12 11:38:29 +0000 |
| commit | 7b941a4ffaf34b4b078a596ec56cdb86ef0b6869 (patch) | |
| tree | a071de43c90187486db1cd512f4a50c44f072de4 /src/HelpFile | |
| parent | ea1dcfd70aa7a2fb6a0b4227a6a5b83123bb4985 (diff) | |
gt -atoms
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile index 147bee228..c28a9d2fc 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -260,6 +260,7 @@ gt, generate_trees: gt Tree? -metas also return trees that include metavariables flags: -depth generate to this depth (default 3) + -atoms take this number of atomic rules of each category (default unlimited) -alts take this number of alternatives at each branch (default unlimited) -cat generate in this category -lang use the abstract syntax of this grammar |