Fri May 20 16:38:06 UTC 2005 mantoniotti
* Fixed bug in documentation.
diff -rN -u old-cl-unification-1/docs/html/nil-template-class.html new-cl-unification-1/docs/html/nil-template-class.html
--- old-cl-unification-1/docs/html/nil-template-class.html 2013-07-21 19:59:27.000000000 +0000
+++ new-cl-unification-1/docs/html/nil-template-class.html 2013-07-21 19:59:27.000000000 +0000
@@ -61,7 +61,7 @@
<h2>Description:</h2>
<p>The NIL-TEMPLATE class denotes those object that are used
- to unify against a VECTOR.</p>
+ to unify against NIL.</p>
<h3>Template Syntax:</h3>