From mantoniotti@common-lisp.net Sat Dec 29 15:25:22 2012
From: CVS User mantoniotti <mantoniotti@common-lisp.net>
To: cl-unification-cvs@common-lisp.net
Subject: [cl-unification-cvs] CVS cl-unification/docs/html
Date: Sat, 29 Dec 2012 15:25:22 -0800
Message-ID: <E1Tp5mM-0003sX-9j@common-lisp.net>
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="===============2324847002802826304=="

--===============2324847002802826304==
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: quoted-printable

Update of /project/cl-unification/cvsroot/cl-unification/docs/html
In directory tiger.common-lisp.net:/tmp/cvs-serv14907

Modified Files:
	aref-template-class.html array-template-class.html=20
	control-flow.html downloads.html element-template-class.html=20
	elt-template-class.html expression-template-class.html=20
	find-variable-value-function.html hash-t-read-macro.html=20
	index.html links.html mailing-lists.html=20
	make-empty-environment-function.html=20
	make-shared-environment-function.html match-case-macro.html=20
	match-macro.html matching-macro.html nil-template-class.html=20
	nth-template-class.html nthcdr-template-class.html=20
	number-template-class.html standard-object-template-class.html=20
	structure-object-template-class.html=20
	symbol-template-class.html template-class.html=20
	template-p-function.html template-spec-accessor.html=20
	templates.html type-template-class.html=20
	unification-dictionary.html unify-function.html=20
	unify-package.html unifying-substitutions.html=20
	usci-variable.html=20
Log Message:
Copyright updated, Cleaned the documentation, fixed a few typos and,
above all, fixed (most) navigation links.


--- /project/cl-unification/cvsroot/cl-unification/docs/html/aref-template-cl=
ass.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/aref-template-cl=
ass.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class AREF-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"element-template-class.html" class=3D"navigation-link">Pr=
evious</a>
+      | <a href=3D"elt-template-class.html" class=3D"navigation-link">Next</=
a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -168,6 +169,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -179,7 +181,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -194,7 +196,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/array-template-c=
lass.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/array-template-c=
lass.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class ARRAY-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"type-template-class.html" class=3D"navigation-link">Previ=
ous</a>
+      | <a href=3D"nil-template-class.html" class=3D"navigation-link">Next</=
a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -189,6 +190,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -200,7 +202,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -215,7 +217,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.htm=
l	2011/03/06 15:09:51	1.3
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.htm=
l	2012/12/29 23:25:22	1.4
@@ -25,37 +25,41 @@
  </tr>
=20
  <tr height=3D"100%">
-  <td height=3D"100%">&nbsp;</td>
-  <td valign=3D"top" width=3D"80%" height=3D"100%">
-
-  <div class=3D"content">
-  <div class=3D"text" style=3D"padding-top: 10px;">
-
-  <h1>Control Flow</h1>
+   <td height=3D"100%">&nbsp;</td>
+   <td valign=3D"top" width=3D"80%" height=3D"100%">
=20
-  <p>In order to make the use of the UNIFICATION library easier, a few
-  utility macros are provided.  The macros MATCH, MATCHING, and
-  MATCH-CASE can be used to unify two (or more) objects and then to
-  build a lexical environment where the variables present in the to
-  objects (or templates) are bound to the values resulting from the
-  application of UNIFY.</p>
+   <div class=3D"content">
+   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <p>
-  <ul>
-  <li>MATCH is a "single shot" macro.  It does one unification and
-  executes forms in an appropriate lexical environment.</li>
+     <h1>Control Flow</h1>
=20
-  <li>MATCH-CASE is equivalent to CASE.  It tries to match a single
-  object (or template) against a set of clauses.  The forms associated
-  to the first clause for which there is a successful unification, are
-  then executed within an appropriate lexical environment.
-
-  <li>MATCHING is equivalent to COND.  Each clause contains a
-  <em>head</em consisting of two objects to be unified.  The first
-  clause whose head unifies sucessfully has its associated forms
-  executed within an appropriate lexical environment.
-  </ul>
-  </p>
+     <p>In order to make the use of the UNIFICATION library easier, a few
+     utility macros are provided.  The macros MATCH, MATCHING, and
+     MATCH-CASE can be used to unify two (or more) objects and then to
+     build a lexical environment where the variables present in the to
+     objects (or templates) are bound to the values resulting from the
+     application of UNIFY.</p>
+
+     <p>
+     <ul>
+       <li>MATCH is a "single shot" macro.  It does one unification and
+       executes forms in an appropriate lexical environment.</li>
+
+       <li>MATCH-CASE is equivalent to CASE.  It tries to match a single
+       object (or template) against a set of clauses.  The forms associated
+       to the first clause for which there is a successful unification, are
+       then executed within an appropriate lexical environment.</li>
+
+       <li>MATCHING is equivalent to COND.  Each clause contains a
+       <em>head</em> consisting of two objects to be unified.  The first
+       clause whose head unifies sucessfully has its associated forms
+       executed within an appropriate lexical environment.</li>
+     </ul>
+     </p>
+
+     <p>There are also the macro MATCHF and MATCHF-CASE, which do not
+     evaluate the pattern; they can be used to produce more streamlined
+     code.</p>
=20
=20
   <h1>Examples</h1>
@@ -143,9 +147,10 @@
   <h1>Control Flow Dictionary</h1>
=20
   <ul>
-  <li><a href=3D"match-macro.html"><i>Macro</i> <b>MATCH</b></a>
-  <li><a href=3D"matching-macro.html"><i>Macro</i> <b>MATCHING</b></a>
-  <li><a href=3D"match-case-macro.html"><i>Macro</i> <b>MATCH-CASE</b></a>
+    <li><a href=3D"match-macro.html"><i>Macros</i> <b>MATCH</b> and <b>MATCH=
F</b></a>
+    <li><a href=3D"match-case-macro.html"><i>Macros</i> <b>MATCH-CASE</b>
+    and <b>MATCHF-CASE</b></a>
+    <li><a href=3D"matching-macro.html"><i>Macro</i> <b>MATCHING</b></a>
   </ul>
  =20
=20
@@ -173,7 +178,7 @@
=20
=20
 <!--
-;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -181,6 +186,7 @@
 ;;; will not be held liable etc etc etc etc etc.
 -->
=20
+  <!--
   <h2>Site Map</h2>
=20
=20
@@ -192,7 +198,7 @@
   <p>Questions? Queries? Suggestions? Comments? Please direct them
   at <a href=3D"mailto:marcoxa_PROVA_A_SPAMMARME(a)alu.org">me</a>.
   </p>
-
+-->
   </div>
   </div>
 					=09
@@ -234,7 +240,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html	2=
011/03/06 15:07:02	1.4
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html	2=
012/12/29 23:25:22	1.5
@@ -70,7 +70,7 @@
 ;;; will not be held liable etc etc etc etc etc.
 -->
=20
-  <h2>Site Map</h2>
+ <!-- <h2>Site Map</h2> -->
=20
=20
   <p>Enjoy!</p>
@@ -79,7 +79,7 @@
=20
   <hr>
   <p>Questions? Queries? Suggestions? Comments? Please direct them
-  at <a href=3D"mailto:marcoxa_PROVA_A_SPAMMARME(a)alu.org">me</a>.
+  at <a href=3D"mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me=
</a>.
   </p>
=20
   </div>
@@ -124,7 +124,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/element-template=
-class.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/element-template=
-class.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class ELEMENT-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"expression-template-class.html" class=3D"navigation-link"=
>Previous</a>
+      | <a href=3D"aref-template-class.html" class=3D"navigation-link">Next<=
/a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -93,7 +94,7 @@
=20
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
-
+<!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -105,7 +106,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -120,7 +121,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/elt-template-cla=
ss.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/elt-template-cla=
ss.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class ELT-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"aref-template-class.html" class=3D"navigation-link">Previ=
ous</a>
+      | <a href=3D"nth-template-class.html" class=3D"navigation-link">Next</=
a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -138,6 +139,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -149,7 +151,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -164,7 +166,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/expression-templ=
ate-class.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/expression-templ=
ate-class.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class EXPRESSION-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"template-class.html" class=3D"navigation-link">Previous</=
a>
+      | <a href=3D"element-template-class.html" class=3D"navigation-link">Ne=
xt</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -93,7 +94,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -104,7 +105,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -119,7 +120,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/find-variable-va=
lue-function.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/find-variable-va=
lue-function.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Function FIND-VARIABLE-VALUE</title></i></str=
ong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"make-shared-environment-function.html" class=3D"navigatio=
n-link">Previous</a>
+      | <a href=3D"match-macro.html" class=3D"navigation-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -49,12 +50,20 @@
   </pre>
   </p>
=20
+  <p>
+  <pre>
+  <b>v?</b> <i>variable-name</i> <i>env</i> &amp;optional <i>plain-symbol-p<=
/i>
+  =3D> <i>value</i>, <i>found</i>
+  </pre>
+  </p>
+
   <h3>Arguments and Values:</h3>
=20
-  <p><i><code>variable-name</code></i>---a <i>symbol</i> denoting a <em>unif=
ication variable</em></p>
-  <p><i><code>env</code></i>---an <i>unification-environment</i></p>
-  <p><i><code>value</code></i>---an <i>object</i></p>
-  <p><i><code>found</code></i>---a <i>boolean</i></p>
+  <p><i><code>variable-name</code></i> : a <i>symbol</i> denoting a <em>unif=
ication variable</em></p>
+  <p><i><code>plain-symbol-p</code></i> : a <i>boolean</i></p>
+  <p><i><code>env</code></i> : a <i>unification-environment</i></p>
+  <p><i><code>value</code></i> : an <i>object</i></p>
+  <p><i><code>found</code></i> : a <i>boolean</i></p>
=20
=20
=20
@@ -74,7 +83,11 @@
   default.) If <i>errorp</i> is NIL then FIND-VARIABLE-NAME returns
   the values NIL and NIL.</p>
=20
-  <p><i>env</i> defaults to *NULL-ENVIRONMENT*.
+  <p><i>env</i> defaults to *NULL-ENVIRONMENT*.</p>
+
+  <p>The V? function is a utility to be used for debugging purposes at
+  the listener.  The optional argument <i>plain-symbol-p</i> can be
+  used to avoid using the '?' syntax for variables.</p>
  =20
=20
   <h2>Affected By:</h2>
@@ -108,7 +121,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -119,7 +132,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -134,7 +147,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/hash-t-read-macr=
o.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/hash-t-read-macr=
o.html	2012/12/29 23:25:22	1.2
@@ -11,11 +11,12 @@
   <td colspan=3D"3">
    <div class=3D"header"
         style=3D"font-family:=3DVerdana,Arial,Helvetica; font-size: 18px; co=
lor: #41286f;">
-    <strong><i>CL Unification: Standard Generic Function TEMPLATE-SPEC</titl=
e></i></strong>
+    <strong><i>CL Unification: #T Reader Macro</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"template-spec-accessor.html" class=3D"navigation-link">Pr=
evious</a>
+      | <a href=3D"make-empty-environment-function.html" class=3D"navigation=
-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -103,7 +104,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -114,7 +115,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -129,7 +130,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/index.html	2012/=
01/16 15:43:46	1.8
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/index.html	2012/=
12/29 23:25:22	1.9
@@ -14,6 +14,7 @@
     <strong><i>CL Extensions: UNIFICATION</i><string>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link-selected">Home</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       | <a href=3D"mailing-lists.html" class=3D"navigation-link">Mailing Lis=
ts</a>
       | <a href=3D"links.html" class=3D"navigation-link">Links</a>
@@ -308,7 +309,7 @@
  =20
=20
 <!--
-;;; Copyright (c) 2004-2011 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -316,6 +317,7 @@
 ;;; will not be held liable etc etc etc etc etc.
 -->
=20
+<!--
   <h2>Site Map</h2>
=20
=20
@@ -327,7 +329,7 @@
   <p>Questions? Queries? Suggestions? Comments? Please direct them
   at <a href=3D"mailto:marcoxa_PROVA_A_SPAMMARME(a)alu.org">me</a>.
   </p>
-
+-->
   </div>
   </div>
 					=09
@@ -351,13 +353,7 @@
   <ul>
     <li><strong>2011-02-20</strong><br>
     CL-UNIFICATION is now in <a href=3D"www.quicklisp.org">Quicklisp</a>.
-  <li><strong>2007-11-09</strong><br>
-      Updated.
-  <li><strong>2004-11-04</strong><br>
-      Updated.
-  <li><strong>2004-05-05</strong><br>
-      Started the site.
-  </li>
+    </li>
   </ul>
=20
   </div>
@@ -374,7 +370,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2004-2012, Marco Antoniotti, all rights reserved.
+  &copy; 2004-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/links.html	2011/=
03/06 15:06:12	1.5
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/links.html	2012/=
12/29 23:25:22	1.6
@@ -47,7 +47,7 @@
=20
=20
 <!--
-;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -58,7 +58,7 @@
=20
   <hr>
   <p>Questions? Queries? Suggestions? Comments? Please direct them
-  at <a href=3D"mailto:marcoxa_PROVA_A_SPAMMARME(a)alu.org">me</a>.
+  at <a href=3D"mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me=
</a>.
   </p>
=20
   </div>
@@ -110,7 +110,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/mailing-lists.ht=
ml	2011/03/06 15:05:27	1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/mailing-lists.ht=
ml	2012/12/29 23:25:22	1.3
@@ -55,7 +55,7 @@
  =20
=20
 <!--
-;;; Copyright (c) 2004-2011 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -72,7 +72,7 @@
=20
   <hr>
   <p>Questions? Queries? Suggestions? Comments? Please direct them
-  at <a href=3D"mailto:marcoxa_PROVA_A_SPAMMARME(a)alu.org">me</a>.
+  at <a href=3D"mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me=
</a>.
   </p>
=20
   </div>
@@ -117,7 +117,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/make-empty-envir=
onment-function.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/make-empty-envir=
onment-function.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Function MAKE-EMPTY-ENVIRONMENT</title></i></=
strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"hash-t-read-macro.html" class=3D"navigation-link">Previou=
s</a>
+      | <a href=3D"make-shared-environment-function.html" class=3D"navigatio=
n-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -94,7 +95,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -105,7 +106,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -120,7 +121,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/make-shared-envi=
ronment-function.html	2004/11/17 22:19:56	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/make-shared-envi=
ronment-function.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Function MAKE-SHARED-ENVIRONMENT</title></i><=
/strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"make-empty-environment-function.html" class=3D"navigation=
-link">Previous</a>
+      | <a href=3D"find-variable-value-function.html" class=3D"navigation-li=
nk">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -85,7 +86,7 @@
=20
   <p>This function is provided to allow for the construction of
   "trees" of frames for interpreter-like environments.  The macros
-  MATCH, MATCHING, and MATCH-CASE rely on this function, as they
+  MATCH, MATCHF, MATCHING, MATCHF-CASE and MATCH-CASE rely on this function,=
 as they
   immediately construct a "shared" environment.</p>
=20
   <h3>Current Implementation Note</h3>
@@ -93,9 +94,6 @@
   <p>MAKE-SHARED-ENVIRONMENT relies on the LIST implementation of
   environments.</p>
=20
-  <p>The use of MAKE-SHARED-ENVIRONMENT in MATCHING and MATDCH-CASE is
-  still incomplete.</p>
-
  </td>
 =20
  <!--  <td height=3D"100%">&nbsp;</td> -->
@@ -108,7 +106,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -119,7 +117,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -134,7 +132,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/match-case-macro=
.html	2004/11/17 22:19:56	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/match-case-macro=
.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Macro MATCH-CASE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"matching-macro.html" class=3D"navigation-link">Previous</=
a>
+      <!-- | <a href=3D"index.html" class=3D"navigation-link">Next</a> -->
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -121,7 +122,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -132,7 +133,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -147,7 +148,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
@@ -156,4 +157,4 @@
  </body>
 </html>
=20
-<!-- end of file -- usci-variable.html -->
+<!-- end of file -- match-case-macro.html -->
--- /project/cl-unification/cvsroot/cl-unification/docs/html/match-macro.html=
	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/match-macro.html=
	2012/12/29 23:25:22	1.2
@@ -1,6 +1,6 @@
 <html>
  <head>
-     <title>CL Unification: Macro MATCH</title>
+     <title>CL Unification: Macros MATCH and MATCHF</title>
      <link rel=3D"stylesheet" href=3D"main.css">
  </head>
 =09
@@ -11,11 +11,12 @@
   <td colspan=3D"3">
    <div class=3D"header"
         style=3D"font-family:=3DVerdana,Arial,Helvetica; font-size: 18px; co=
lor: #41286f;">
-    <strong><i>CL Unification: Macro MATCH</title></i></strong>
+    <strong><i>CL Unification: Macros MATCH and MATCHF</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"find-variable-value-function.html" class=3D"navigation-li=
nk">Previous</a>
+      | <a href=3D"matching-macro.html" class=3D"navigation-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -50,6 +51,13 @@
   </pre>
   </p>
=20
+  <p>
+  <pre>
+  <b>matchf</b> (<i>template</i> <i>object</i> &amp;key <i>substitution</i> =
<i>errorp</i> <i>error-value</i>) &amp;body <i>forms</i>
+  =3D> <i>results</i>*
+  </pre>
+  </p>
+
   <h3>Arguments and Values:</h3>
=20
   <p><i><code>template</code></i>---a <i>unification template</i>
@@ -79,6 +87,10 @@
   UNIFICATION-FAILURE, otherwise the result of evaluating <i>error-value</i>,
   whose default is NIL is returned.</p>
=20
+  <p>MATCHF works as MATCH but it does not evaluate <i>template</i>;
+  it is useful whenever the template is cons that needs to be used
+  as-is, without resorting to explicit quoting.</p>
+
=20
   <h2>Affected By:</h2>
=20
@@ -113,7 +125,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -124,7 +136,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -139,7 +151,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
@@ -148,4 +160,4 @@
  </body>
 </html>
=20
-<!-- end of file -- usci-variable.html -->
+<!-- end of file -- match-macro.html -->
--- /project/cl-unification/cvsroot/cl-unification/docs/html/matching-macro.h=
tml	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/matching-macro.h=
tml	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Macro MATCHING</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"match-macro.html" class=3D"navigation-link">Previous</a>
+      | <a href=3D"match-case-macro.html" class=3D"navigation-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -120,7 +121,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -131,7 +132,8 @@
   </li>
=20
   </ul>
-
+-->
+ =20
   </div>
   </div>
 					=09
@@ -146,7 +148,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
@@ -155,4 +157,4 @@
  </body>
 </html>
=20
-<!-- end of file -- usci-variable.html -->
+<!-- end of file -- match-macro.html -->
--- /project/cl-unification/cvsroot/cl-unification/docs/html/nil-template-cla=
ss.html	2005/05/20 16:38:06	1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/nil-template-cla=
ss.html	2012/12/29 23:25:22	1.3
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class NIL-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"array-template-class.html" class=3D"navigation-link">Prev=
ious</a>
+      | <a href=3D"number-template-class.html" class=3D"navigation-link">Nex=
t</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -131,6 +132,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -142,7 +144,8 @@
   </li>
=20
   </ul>
-
+-->
+ =20
   </div>
   </div>
 					=09
@@ -157,7 +160,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/nth-template-cla=
ss.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/nth-template-cla=
ss.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class NTH-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"elt-template-class.html" class=3D"navigation-link">Previo=
us</a>
+      | <a href=3D"nthcdr-template-class.html" class=3D"navigation-link">Nex=
t</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -129,6 +130,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -140,7 +142,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -155,7 +157,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/nthcdr-template-=
class.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/nthcdr-template-=
class.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class NTHCDR-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"nth-template-class.html" class=3D"navigation-link">Previo=
us</a>
+      | <a href=3D"type-template-class.html" class=3D"navigation-link">Next<=
/a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -129,7 +130,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -140,6 +141,7 @@
   </li>
=20
   </ul>
+  -->
=20
   </div>
   </div>
@@ -155,7 +157,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/number-template-=
class.html	2005/05/20 16:18:33	1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/number-template-=
class.html	2012/12/29 23:25:22	1.3
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class NUMBER-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"nil-template-class.html" class=3D"navigation-link">Previo=
us</a>
+      | <a href=3D"symbol-template-class.html" class=3D"navigation-link">Nex=
t</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       | <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -146,6 +147,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -157,7 +159,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -172,7 +174,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/standard-object-=
template-class.html	2004/11/17 22:19:56	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/standard-object-=
template-class.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class STANDARD-OBJECT-TEMPLATE</title></i></s=
trong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"symbol-template-class.html" class=3D"navigation-link">Pre=
vious</a>
+      | <a href=3D"structure-object-template-class.html" class=3D"navigation=
-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -189,7 +190,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -200,7 +201,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -215,7 +216,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/structure-object=
-template-class.html	2004/11/17 22:19:56	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/structure-object=
-template-class.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class STRUCTURE-OBJECT-TEMPLATE</title></i></=
strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"standard-object-template-class.html" class=3D"navigation-=
link">Previous</a>
+      | <a href=3D"regular-expression-template-class.html" class=3D"navigati=
on-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -167,7 +168,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -178,7 +179,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -193,7 +194,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/symbol-template-=
class.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/symbol-template-=
class.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class SYMBOL-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"number-template-class.html" class=3D"navigation-link">Pre=
vious</a>
+      | <a href=3D"standard-object-template-class.html" class=3D"navigation-=
link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -114,7 +115,7 @@
=20
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
-
+<!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -126,7 +127,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -141,7 +142,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/template-class.h=
tml	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-class.h=
tml	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"usci-variable.html" class=3D"navigation-link">Previous</a>
+      | <a href=3D"expression-template-class.html" class=3D"navigation-link"=
>Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -100,6 +101,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -111,7 +113,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -126,7 +128,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/template-p-funct=
ion.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-p-funct=
ion.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Standard Generic Function TEMPLATE-P</title><=
/i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"regular-expression-template-class.html" class=3D"navigati=
on-link">Previous</a>
+      | <a href=3D"template-spec-accessor.html" class=3D"navigation-link">Ne=
xt</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -95,7 +96,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -106,7 +107,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -121,7 +122,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/template-spec-ac=
cessor.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-spec-ac=
cessor.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Standard Generic Function TEMPLATE-SPEC</titl=
e></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"template-p-function.html" class=3D"navigation-link">Previ=
ous</a>
+      | <a href=3D"hash-t-read-macro.html" class=3D"navigation-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -101,7 +102,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -112,7 +113,8 @@
   </li>
=20
   </ul>
-
+-->
+ =20
   </div>
   </div>
 					=09
@@ -127,7 +129,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
@@ -135,3 +137,5 @@
  </table>
  </body>
 </html>
+
+<!-- end of file : template-spec-accessor.html -->
--- /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html	2=
011/03/06 15:09:10	1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html	2=
012/12/29 23:25:22	1.3
@@ -138,7 +138,7 @@
=20
=20
 <!--
-;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -146,6 +146,7 @@
 ;;; will not be held liable etc etc etc etc etc.
 -->
=20
+  <!--
   <h2>Site Map</h2>
=20
=20
@@ -157,7 +158,7 @@
   <p>Questions? Queries? Suggestions? Comments? Please direct them
   at <a href=3D"mailto:marcoxa_PROVA_A_SPAMMARME(a)alu.org">me</a>.
   </p>
-
+-->
   </div>
   </div>
 					=09
@@ -198,7 +199,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-cl=
ass.html	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-cl=
ass.html	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Class TYPE-TEMPLATE</title></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"nthcdr-template-class.html" class=3D"navigation-link">Pre=
vious</a>
+      | <a href=3D"array-template-class.html" class=3D"navigation-link">Next=
</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dict=
ionary.html	2011/03/06 15:11:59	1.4
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dict=
ionary.html	2012/12/29 23:25:22	1.5
@@ -14,8 +14,8 @@
     <strong><i>CL Extensions: UNIFICATION Dictionary</i><string>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Previous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      <!-- | <a href=3D"index.html" class=3D"navigation-link">Previous</a> -=
->
+      | <a href=3D"unify-package.html" class=3D"navigation-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -58,20 +58,24 @@
   <li><a href=3D"standard-object-template-class.html"><i>Class</i> <b>STANDA=
RD-OBJECT-TEMPLATE</b></a></li>
   <li><a href=3D"structure-object-template-class.html"><i>Class</i> <b>STRUC=
TURE-OBJECT-TEMPLATE</b></a></li>
=20
-  <li><a href=3D"make-template-function.html"><i>Function</i> <b>MAKE-TEMPLA=
TE</b></a>
+  <li><a href=3D"regular-expression-template-class.html"><i>Class</i> <b>REG=
ULAR-EXPRESSION-TEMPLATE</b></a></li>
+
+  <!-- <li><a href=3D"make-template-function.html"><i>Function</i> <b>MAKE-T=
EMPLATE</b></a> -->
   <li><a href=3D"template-p-function.html"><i>Generic function</i> <b>TEMPLA=
TE-P</b></a>
   <li><a href=3D"template-spec-accessor.html"><i>Accessor</i> <b>TEMPLATE-SP=
EC</b></a>
   <li><a href=3D"hash-t-read-macro.html"><i>Reader Macro</i> <b>#T</b></a>
   <li><a href=3D"make-empty-environment-function.html"><i>Function</i> <b>MA=
KE-EMPTY-ENVIRONMENT</b></a>
+  <li><a href=3D"make-shared-environment-function.html"><i>Function</i> <b>M=
AKE-SHARED-ENVIRONMENT</b></a>
   <li><a href=3D"find-variable-value-function.html"><i>Function</i> <b>FIND-=
VARIABLE-VALUE</b></a>
-  <li><a href=3D"match-macro.html"><i>Macro</i> <b>MATCH</b></a>
+  <li><a href=3D"match-macro.html"><i>Macros</i> <b>MATCH</b> and <b>MATCHF<=
/b></a>
+  <li><a href=3D"match-case-macro.html"><i>Macros</i> <b>MATCH-CASE</b>
+  and <b>MATHCF-CASE</b></a>
   <li><a href=3D"matching-macro.html"><i>Macro</i> <b>MATCHING</b></a>
-  <li><a href=3D"match-case-macro.html"><i>Macro</i> <b>MATCH-CASE</b></a>
   </ul>
  =20
=20
 <!--
-;;; Copyright (c) 2004-2005 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -79,7 +83,7 @@
 ;;; will not be held liable etc etc etc etc etc.
 -->
=20
-<!--  <h2>Site Map</h2> -->
+<!--  <h2>Site Map</h2>
=20
=20
   <p>Enjoy!</p>
@@ -90,7 +94,8 @@
   <p>Questions? Queries? Suggestions? Comments? Please direct them
   at <a href=3D"mailto:marcoxa_PROVA_A_SPAMMARME(a)alu.org">me</a>.
   </p>
-
+-->
+ =20
   </div>
   </div>
 					=09
@@ -133,7 +138,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.h=
tml	2011/02/11 17:49:39	1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.h=
tml	2012/12/29 23:25:22	1.3
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Standard Generic Function UNIFY</title></i></=
strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"unify-package.html" class=3D"navigation-link">Previous</a>
+      | <a href=3D"usci-variable.html" class=3D"navigation-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -364,6 +365,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -375,7 +377,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -390,7 +392,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-package.ht=
ml	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-package.ht=
ml	2012/12/29 23:25:22	1.2
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Package CL.EXT.DACF.UNIFICATION</title></i></=
strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      <!-- | <a href=3D"unify-package.html" class=3D"navigation-link">Previo=
us</a> -->
+      | <a href=3D"unify-function.html" class=3D"navigation-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -79,6 +80,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
+    <!--
   <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
@@ -90,7 +92,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -105,7 +107,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substit=
utions.html	2011/03/06 15:08:30	1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substit=
utions.html	2012/12/29 23:25:22	1.3
@@ -135,6 +135,7 @@
 ;;; will not be held liable etc etc etc etc etc.
 -->
=20
+  <!--
   <h2>Site Map</h2>
=20
=20
@@ -146,7 +147,7 @@
   <p>Questions? Queries? Suggestions? Comments? Please direct them
   at <a href=3D"mailto:marcoxa_PROVA_A_SPAMMARME(a)alu.org">me</a>.
   </p>
-
+-->
   </div>
   </div>
 					=09
@@ -187,7 +188,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.ht=
ml	2011/02/11 17:49:39	1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.ht=
ml	2012/12/29 23:25:22	1.3
@@ -14,8 +14,9 @@
     <strong><i>CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P*</tit=
le></i></strong>
     <div class=3D"navigation">
      <a href=3D"index.html" class=3D"navigation-link">Home</a>
-      | <a href=3D"unification-package.html" class=3D"navigation-link">Previ=
ous</a>
-      | <a href=3D"index.html" class=3D"navigation-link">Next</a>
+      | <a href=3D"unification-dictionary.html" class=3D"navigation-link">Di=
ctionary</a>
+      | <a href=3D"unify-function.html" class=3D"navigation-link">Previous</=
a>
+      | <a href=3D"template-class.html" class=3D"navigation-link">Next</a>
       | <a href=3D"downloads.html" class=3D"navigation-link">Downloads</a>
       |  <a href=3D"links.html" class=3D"navigation-link">Links</a>
     </div>
@@ -91,7 +92,7 @@
   <div class=3D"content">
   <div class=3D"text" style=3D"padding-top: 10px;">
=20
-  <h1>News</h1>
+<!--  <h1>News</h1>
=20
   <p>News in chronological order, most recent on top.
   </p>
@@ -102,7 +103,7 @@
   </li>
=20
   </ul>
-
+-->
   </div>
   </div>
 					=09
@@ -117,7 +118,7 @@
  <tr>
   <td colspan=3D"3" valign=3D"bottom" align=3D"right">
   <div class=3D"copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2013, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>



--===============2324847002802826304==--