diff options
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/HelpFile b/src/HelpFile index 0f7db045b..f1e4eb1fb 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -152,8 +152,10 @@ t, translate: t Lang Lang String -lexer -parser -gr, generate_random: gr - Generates a random Tree. +gr, generate_random: gr Tree? + Generates a random Tree of a given category. If a Tree + argument is given, the command completes the Tree with values to + the metavariables in the tree. flags: -cat generate in this category -lang use the abstract syntax of this grammar |