From ae60299c7def8a4c2af18320be773158936c6ac9 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 12 May 2005 09:03:33 +0000
Subject: pre-release adjustments

---
 src/HelpFile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/HelpFile')

diff --git a/src/HelpFile b/src/HelpFile
index ead186001..4ebb00d1d 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -268,13 +268,16 @@ pt, put_tree: pt Tree
   examples:
       p "zero is even" | pt -transform=solve  -- solve ?'s in parse result
 
-
 * st, show_tree: st Tree
       Prints the tree as a string. Unlike pt, this command cannot be
       used in a pipe to produce a tree, since its output is a string.
   flags:
       -printer     show the tree in a special format (-printer=xml supported)
 
+wt, wrap_tree: wt Fun
+      Wraps the tree as the sole argument of Fun.
+  flags:
+      -c           compute the resulting new tree to normal form
 
 -- subshells
 
-- 
cgit v1.2.3