random gen to fill given term

2026-04-15 07:49:31 -06:00 · 2004-04-30 11:28:35 +00:00
parent 36a68bce6a
commit c9d10ab5ed
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