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.hs | |
| parent | 36a68bce6ab94a4824698b9c3d7b4d0da4898eea (diff) | |
random gen to fill given term
Diffstat (limited to 'src/HelpFile.hs')
| -rw-r--r-- | src/HelpFile.hs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/HelpFile.hs b/src/HelpFile.hs index 099fee6b9..a8abb739f 100644 --- a/src/HelpFile.hs +++ b/src/HelpFile.hs @@ -165,8 +165,10 @@ txtHelpFile = "\n -lexer" ++ "\n -parser" ++ "\n" ++ - "\ngr, generate_random: gr" ++ - "\n Generates a random Tree." ++ + "\ngr, generate_random: gr Tree?" ++ + "\n Generates a random Tree of a given category. If a Tree" ++ + "\n argument is given, the command completes the Tree with values to" ++ + "\n the metavariables in the tree. " ++ "\n flags:" ++ "\n -cat generate in this category" ++ "\n -lang use the abstract syntax of this grammar" ++ |