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-24 17:40:30.000000000 +0000 +++ new-cl-unification-1/docs/html/nil-template-class.html 2013-07-24 17:40:30.000000000 +0000 @@ -61,7 +61,7 @@

Description:

The NIL-TEMPLATE class denotes those object that are used - to unify against a VECTOR.

+ to unify against NIL.

Template Syntax: