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-21 19:59:12.000000000 +0000
+++ new-cl-unification-1/docs/html/number-template-class.html 2013-07-21 19:59:13.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>