From c9d10ab5ed8b82ba0f74a25ca30103ccf0985e6d Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 30 Apr 2004 11:28:35 +0000
Subject: random gen to fill given term

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

(limited to 'src/HelpFile.hs')

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" ++
-- 
cgit v1.2.3