[cl-unification-cvs] CVS cl-unification/docs/html

Fri Feb 11 17:49:39 UTC 2011

Update of /project/cl-unification/cvsroot/cl-unification/docs/html
In directory cl-net:/tmp/cvs-serv12304/docs/html

Modified Files:
	string-template-class.html unification-dictionary.html 
	unify-function.html usci-variable.html 
Log Message:
Use *unify-string-case-sensitive-p* consistently.
Change the documentation.
templates-hierarchy.lisp: Fix stream argument to print-object.

--- /project/cl-unification/cvsroot/cl-unification/docs/html/string-template-class.html	2004/11/17 22:19:56	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/string-template-class.html	2011/02/11 17:49:39	1.2
@@ -122,7 +122,7 @@
 
   <h2>Affected By:</h2>
 
-  <p>The value of the variable *UNIFY-STRING-CASE-INSENSITIVE-P*.</p>
+  <p>The value of the variable *UNIFY-STRING-CASE-SENSITIVE-P*.</p>
 
 
   <h2>Exceptional Situations:</h2>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dictionary.html	2005/05/20 16:27:05	1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dictionary.html	2011/02/11 17:49:39	1.3
@@ -38,7 +38,7 @@
   <ul>
   <li><a href="unify-package.html"><i>Package</i> <b>CL.EXT.DACF.UNIFICATION</b></a>
   <li><a href="unify-function.html"><i>Generic function</i> <b>UNIFY</b></a>
-  <li><a href="usci-variable.html"><i>Variable</i> <b>*UNIFY-STRING-CASE-INSENSITIVE*</b></a>
+  <li><a href="usci-variable.html"><i>Variable</i> <b>*UNIFY-STRING-CASE-SENSITIVE*</b></a>
 
   <li><a href="template-class.html"><i>Class</i> <b>TEMPLATE</b></a>
   <li><a href="expression-template-class.html"><i>Class</i> <b>EXPRESSION-TEMPLATE</b></a>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.html	2011/02/11 17:49:39	1.2
@@ -163,7 +163,7 @@
   </p>
 
   <p>Two strings unify only is they are "equal", under the following
-  condition. If the variable *UNIFY-STRING-CASE-INSENSITIVE-P* is NIL
+  condition. If the variable *UNIFY-STRING-CASE-SENSITIVE-P* is T
   (the default) then the two strings <i>s1</i> and <i>s2</i> are
   compared using STRING=, otherwise they are compared using STRING-EQUAL.
   </p>
@@ -335,7 +335,7 @@
   <h2>See Also:</h2>
 
   <p>MAKE-EMPTY-ENVIRONMENT, UNIFICATION-FAILURE,
-  *UNIFY-STRING-CASE-INSENSITIVE-P*, OCCURS-IN-P,
+  *UNIFY-STRING-CASE-SENSITIVE-P*, OCCURS-IN-P,
   *OCCURENCE-CHECK-P*.</p>
 
   <h2>Notes:</h2>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.html	2011/02/11 17:49:39	1.2
@@ -1,6 +1,6 @@
 <html>
  <head>
-     <title>CL Unification: Variable *UNIFY-STRING-CASE-INSENSITIVE-P*</title>
+     <title>CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P*</title>
      <link rel="stylesheet" href="main.css">
  </head>
 	
@@ -11,7 +11,7 @@
   <td colspan="3">
    <div class="header"
         style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;">
-    <strong><i>CL Unification: Variable *UNIFY-STRING-CASE-INSENSITIVE-P*</title></i></strong>
+    <strong><i>CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P*</title></i></strong>
     <div class="navigation">
      <a href="index.html" class="navigation-link">Home</a>
       | <a href="unification-package.html" class="navigation-link">Previous</a>
@@ -33,7 +33,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 	
-  <h1><i>Variable</i> <strong>*UNIFY-STRING-CASE-INSENSITIVE-P*</strong></h1>
+  <h1><i>Variable</i> <strong>*UNIFY-STRING-CASE-SENSITIVE-P*</strong></h1>
 
   <h2>Package:</h2>
 
@@ -56,9 +56,9 @@
 
   <h2>Description:</h2>
 
-  <p>The value of *UNIFY-STRING-CASE-INSENSITIVE-P* controls the
+  <p>The value of *UNIFY-STRING-CASE-SENSITIVE-P* controls the
   behavior of the UNIFY method with signature <code>(<i>string</i> <i>string</i>)</code>.
-  If NIL (the default), the method will use STRING= to test for
+  If T (the default), the method will use STRING= to test for
   equality of the two strings.  Otherwise, the UNIFY method will use STRING-EQUAL.</p>
 
   <h2>Affected By:</h2>



