From 54947d3e4c7bdcbfa3e00a8eb17c7f0b9696664a Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sun, 2 May 2004 08:21:25 +0000
Subject: gt Term

---
 src/HelpFile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/HelpFile')

diff --git a/src/HelpFile b/src/HelpFile
index 513c6add0..fa49f89ef 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -162,9 +162,11 @@ gr, generate_random: gr Tree?
       -number  generate this number of trees (not impl. with Tree argument)
       -depth   use this number of search steps at most
 
-gt, generate_trees: gt
+gt, generate_trees: gt Tree?
       Generates all trees up to a given depth. If the depth is large,
-      a small -alts is recommended
+      a small -alts is recommended. If a Tree argument is given, the
+      command completes the Tree with values to the metavariables in
+      the tree.
   flags:
       -depth   generate to this depth (default 3)
       -alts    take this number of alternatives at each branch (default unlimited)
-- 
cgit v1.2.3