Fri May 20 16:18:33 UTC 2005  mantoniotti
  * Fixed a documentation bug.
  Fixed a documentation bug.
  Thanks to Norman Werner for spotting it.
  
diff -rN -u old-cl-unification-1/docs/html/number-template-class.html new-cl-unification-1/docs/html/number-template-class.html
--- old-cl-unification-1/docs/html/number-template-class.html	2013-07-24 17:40:25.000000000 +0000
+++ new-cl-unification-1/docs/html/number-template-class.html	2013-07-24 17:40:25.000000000 +0000
@@ -17,7 +17,7 @@
       | <a href="unification-package.html" class="navigation-link">Previous</a>
       | <a href="index.html" class="navigation-link">Next</a>
       | <a href="downloads.html" class="navigation-link">Downloads</a>
-      |  <a href="links.html" class="navigation-link">Links</a>
+      | <a href="links.html" class="navigation-link">Links</a>
     </div>
    </div>
    <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
@@ -61,7 +61,7 @@
   <h2>Description:</h2>
 
   <p>The NUMBER-TEMPLATE class denotes those object  that are used
-  to unify against a VECTOR.</p>
+  to unify against a NUMBER.</p>
 
   <h3>Template Syntax:</h3>
 
@@ -132,7 +132,7 @@
 
   <h2>Notes:</h2>
 
-  <p>There is no COMPLEX-NUMBER-TEMPLATE class, although a case for it can be easily made..</p>
+  <p>There is no COMPLEX-NUMBER-TEMPLATE class, although a case for it can be easily made.</p>
 
  </td>