picolisp

commit c4f1fc21b3229694e28784036620c4495d6a093f
parent ed45adf627cae1385ba1e01a1bbf68f8786d2daf
Author: Alexander Burger <abu@software-lab.de>
Date:   Sat, 20 Jul 2013 16:59:51 +0200

Minor doc fix
Diffstat:
M
doc/ref_.html
 | 
12
++++++------

1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/doc/ref_.html b/doc/ref_.html
@@ -205,10 +205,10 @@ href="ref_.html#*/">*/</a></code>.
 -> 4
 </code></pre>
 
-<dt><a name="->"><code>(-&gt sym [num]) -> any</code></a>
-<dd>Searches for the current value of the pattern variable <code>sym</code> at
-top level (or level <code>num</code>) in the current <a
-href="ref.html#pilog">Pilog</a> environment. See also <code><a
+<dt><a name="->"><code>(-&gt any [num]) -> any</code></a>
+<dd>Searches for the value of <code>any</code> (typically a <a
+href="ref.html#pilog">Pilog</a> variable, or an expression of variables) at top
+level (or level <code>num</code>) in the current environment. See also <code><a
 href="refP.html#prove">prove</a></code> and <code><a
 href="refU.html#unify">unify</a></code>.
 
@@ -491,10 +491,10 @@ href="refS.html#solve">solve</a></code>.
 
 : (? append (append @X @Y (a b c)))    # Trace 'append'
 1 (append NIL (a b c) (a b c))
- @X=NIL @Y=(a b c)                                  
+ @X=NIL @Y=(a b c)
 2 (append (a . @X) @Y (a b c))
 1 (append NIL (b c) (b c))
- @X=(a) @Y=(b c).                      # Stopped                       
+ @X=(a) @Y=(b c).                      # Stopped
 -> NIL
 </code></pre>