diff options
| author | aarne <unknown> | 2004-04-30 11:28:35 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-30 11:28:35 +0000 |
| commit | c9d10ab5ed8b82ba0f74a25ca30103ccf0985e6d (patch) | |
| tree | 610a280c538abc742941b5d31b7d5912d0f7b0bd /src/HelpFile | |
| parent | 36a68bce6ab94a4824698b9c3d7b4d0da4898eea (diff) | |
random gen to fill given term
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 |