random gen to fill given term

2004-04-30 11:28:35 +00:00
parent 93b9023303
commit 926ac1b1e5
8 changed files with 23 additions and 14 deletions
--- 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