[cl-unification-cvs] CVS cl-unification/docs/html
CVS User mantoniotti
mantoniotti at common-lisp.net
Sat Dec 29 23:25:22 UTC 2012
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
control-flow.html downloads.html element-template-class.html
elt-template-class.html expression-template-class.html
find-variable-value-function.html hash-t-read-macro.html
index.html links.html mailing-lists.html
make-empty-environment-function.html
make-shared-environment-function.html match-case-macro.html
match-macro.html matching-macro.html nil-template-class.html
nth-template-class.html nthcdr-template-class.html
number-template-class.html standard-object-template-class.html
structure-object-template-class.html
symbol-template-class.html template-class.html
template-p-function.html template-spec-accessor.html
templates.html type-template-class.html
unification-dictionary.html unify-function.html
unify-package.html unifying-substitutions.html
usci-variable.html
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-class.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/aref-template-class.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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="element-template-class.html" class="navigation-link">Previous</a>
+ | <a href="elt-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -168,6 +169,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -179,7 +181,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -194,7 +196,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/array-template-class.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/array-template-class.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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="type-template-class.html" class="navigation-link">Previous</a>
+ | <a href="nil-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -189,6 +190,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -200,7 +202,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -215,7 +217,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.html 2011/03/06 15:09:51 1.3
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.html 2012/12/29 23:25:22 1.4
@@ -25,37 +25,41 @@
</tr>
<tr height="100%">
- <td height="100%"> </td>
- <td valign="top" width="80%" height="100%">
-
- <div class="content">
- <div class="text" style="padding-top: 10px;">
-
- <h1>Control Flow</h1>
+ <td height="100%"> </td>
+ <td valign="top" width="80%" height="100%">
- <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="content">
+ <div class="text" style="padding-top: 10px;">
- <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>
- <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>
<h1>Examples</h1>
@@ -143,9 +147,10 @@
<h1>Control Flow Dictionary</h1>
<ul>
- <li><a href="match-macro.html"><i>Macro</i> <b>MATCH</b></a>
- <li><a href="matching-macro.html"><i>Macro</i> <b>MATCHING</b></a>
- <li><a href="match-case-macro.html"><i>Macro</i> <b>MATCH-CASE</b></a>
+ <li><a href="match-macro.html"><i>Macros</i> <b>MATCH</b> and <b>MATCHF</b></a>
+ <li><a href="match-case-macro.html"><i>Macros</i> <b>MATCH-CASE</b>
+ and <b>MATCHF-CASE</b></a>
+ <li><a href="matching-macro.html"><i>Macro</i> <b>MATCHING</b></a>
</ul>
@@ -173,7 +178,7 @@
<!--
-;;; 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.
-->
+ <!--
<h2>Site Map</h2>
@@ -192,7 +198,7 @@
<p>Questions? Queries? Suggestions? Comments? Please direct them
at <a href="mailto:marcoxa_PROVA_A_SPAMMARME at alu.org">me</a>.
</p>
-
+-->
</div>
</div>
@@ -234,7 +240,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2011, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html 2011/03/06 15:07:02 1.4
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html 2012/12/29 23:25:22 1.5
@@ -70,7 +70,7 @@
;;; will not be held liable etc etc etc etc etc.
-->
- <h2>Site Map</h2>
+ <!-- <h2>Site Map</h2> -->
<p>Enjoy!</p>
@@ -79,7 +79,7 @@
<hr>
<p>Questions? Queries? Suggestions? Comments? Please direct them
- at <a href="mailto:marcoxa_PROVA_A_SPAMMARME at alu.org">me</a>.
+ at <a href="mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me</a>.
</p>
</div>
@@ -124,7 +124,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2011, Marco Antoniotti, all rights reserved.
+ © 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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="expression-template-class.html" class="navigation-link">Previous</a>
+ | <a href="aref-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -93,7 +94,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
-
+<!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -105,7 +106,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -120,7 +121,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/elt-template-class.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/elt-template-class.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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="aref-template-class.html" class="navigation-link">Previous</a>
+ | <a href="nth-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -138,6 +139,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -149,7 +151,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -164,7 +166,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/expression-template-class.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/expression-template-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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="template-class.html" class="navigation-link">Previous</a>
+ | <a href="element-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -93,7 +94,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -104,7 +105,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -119,7 +120,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/find-variable-value-function.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/find-variable-value-function.html 2012/12/29 23:25:22 1.2
@@ -14,8 +14,9 @@
<strong><i>CL Unification: Function FIND-VARIABLE-VALUE</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>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="make-shared-environment-function.html" class="navigation-link">Previous</a>
+ | <a href="match-macro.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -49,12 +50,20 @@
</pre>
</p>
+ <p>
+ <pre>
+ <b>v?</b> <i>variable-name</i> <i>env</i> &optional <i>plain-symbol-p</i>
+ => <i>value</i>, <i>found</i>
+ </pre>
+ </p>
+
<h3>Arguments and Values:</h3>
- <p><i><code>variable-name</code></i>---a <i>symbol</i> denoting a <em>unification 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>unification 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>
@@ -74,7 +83,11 @@
default.) If <i>errorp</i> is NIL then FIND-VARIABLE-NAME returns
the values NIL and NIL.</p>
- <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>
<h2>Affected By:</h2>
@@ -108,7 +121,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -119,7 +132,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -134,7 +147,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/hash-t-read-macro.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/hash-t-read-macro.html 2012/12/29 23:25:22 1.2
@@ -11,11 +11,12 @@
<td colspan="3">
<div class="header"
style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;">
- <strong><i>CL Unification: Standard Generic Function TEMPLATE-SPEC</title></i></strong>
+ <strong><i>CL Unification: #T Reader Macro</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>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="template-spec-accessor.html" class="navigation-link">Previous</a>
+ | <a href="make-empty-environment-function.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -103,7 +104,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -114,7 +115,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -129,7 +130,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 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="navigation">
<a href="index.html" class="navigation-link-selected">Home</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="mailing-lists.html" class="navigation-link">Mailing Lists</a>
| <a href="links.html" class="navigation-link">Links</a>
@@ -308,7 +309,7 @@
<!--
-;;; 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.
-->
+<!--
<h2>Site Map</h2>
@@ -327,7 +329,7 @@
<p>Questions? Queries? Suggestions? Comments? Please direct them
at <a href="mailto:marcoxa_PROVA_A_SPAMMARME at alu.org">me</a>.
</p>
-
+-->
</div>
</div>
@@ -351,13 +353,7 @@
<ul>
<li><strong>2011-02-20</strong><br>
CL-UNIFICATION is now in <a href="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>
</div>
@@ -374,7 +370,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2004-2012, Marco Antoniotti, all rights reserved.
+ © 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 @@
<!--
-;;; 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 @@
<hr>
<p>Questions? Queries? Suggestions? Comments? Please direct them
- at <a href="mailto:marcoxa_PROVA_A_SPAMMARME at alu.org">me</a>.
+ at <a href="mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me</a>.
</p>
</div>
@@ -110,7 +110,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2011, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/mailing-lists.html 2011/03/06 15:05:27 1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/mailing-lists.html 2012/12/29 23:25:22 1.3
@@ -55,7 +55,7 @@
<!--
-;;; 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 @@
<hr>
<p>Questions? Queries? Suggestions? Comments? Please direct them
- at <a href="mailto:marcoxa_PROVA_A_SPAMMARME at alu.org">me</a>.
+ at <a href="mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me</a>.
</p>
</div>
@@ -117,7 +117,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2011, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/make-empty-environment-function.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/make-empty-environment-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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="hash-t-read-macro.html" class="navigation-link">Previous</a>
+ | <a href="make-shared-environment-function.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -94,7 +95,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -105,7 +106,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -120,7 +121,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/make-shared-environment-function.html 2004/11/17 22:19:56 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/make-shared-environment-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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="make-empty-environment-function.html" class="navigation-link">Previous</a>
+ | <a href="find-variable-value-function.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -85,7 +86,7 @@
<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>
<h3>Current Implementation Note</h3>
@@ -93,9 +94,6 @@
<p>MAKE-SHARED-ENVIRONMENT relies on the LIST implementation of
environments.</p>
- <p>The use of MAKE-SHARED-ENVIRONMENT in MATCHING and MATDCH-CASE is
- still incomplete.</p>
-
</td>
<!-- <td height="100%"> </td> -->
@@ -108,7 +106,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -119,7 +117,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -134,7 +132,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="matching-macro.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>
</div>
@@ -121,7 +122,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -132,7 +133,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -147,7 +148,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
@@ -156,4 +157,4 @@
</body>
</html>
-<!-- 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="stylesheet" href="main.css">
</head>
@@ -11,11 +11,12 @@
<td colspan="3">
<div class="header"
style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;">
- <strong><i>CL Unification: Macro MATCH</title></i></strong>
+ <strong><i>CL Unification: Macros MATCH and MATCHF</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>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="find-variable-value-function.html" class="navigation-link">Previous</a>
+ | <a href="matching-macro.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -50,6 +51,13 @@
</pre>
</p>
+ <p>
+ <pre>
+ <b>matchf</b> (<i>template</i> <i>object</i> &key <i>substitution</i> <i>errorp</i> <i>error-value</i>) &body <i>forms</i>
+ => <i>results</i>*
+ </pre>
+ </p>
+
<h3>Arguments and Values:</h3>
<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>
+ <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>
+
<h2>Affected By:</h2>
@@ -113,7 +125,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -124,7 +136,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -139,7 +151,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
@@ -148,4 +160,4 @@
</body>
</html>
-<!-- end of file -- usci-variable.html -->
+<!-- end of file -- match-macro.html -->
--- /project/cl-unification/cvsroot/cl-unification/docs/html/matching-macro.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/matching-macro.html 2012/12/29 23:25:22 1.2
@@ -14,8 +14,9 @@
<strong><i>CL Unification: Macro MATCHING</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>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="match-macro.html" class="navigation-link">Previous</a>
+ | <a href="match-case-macro.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -120,7 +121,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -131,7 +132,8 @@
</li>
</ul>
-
+-->
+
</div>
</div>
@@ -146,7 +148,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
@@ -155,4 +157,4 @@
</body>
</html>
-<!-- end of file -- usci-variable.html -->
+<!-- end of file -- match-macro.html -->
--- /project/cl-unification/cvsroot/cl-unification/docs/html/nil-template-class.html 2005/05/20 16:38:06 1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/nil-template-class.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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="array-template-class.html" class="navigation-link">Previous</a>
+ | <a href="number-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -131,6 +132,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -142,7 +144,8 @@
</li>
</ul>
-
+-->
+
</div>
</div>
@@ -157,7 +160,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/nth-template-class.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/nth-template-class.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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="elt-template-class.html" class="navigation-link">Previous</a>
+ | <a href="nthcdr-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -129,6 +130,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -140,7 +142,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -155,7 +157,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="nth-template-class.html" class="navigation-link">Previous</a>
+ | <a href="type-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -129,7 +130,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -140,6 +141,7 @@
</li>
</ul>
+ -->
</div>
</div>
@@ -155,7 +157,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="nil-template-class.html" class="navigation-link">Previous</a>
+ | <a href="symbol-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -146,6 +147,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -157,7 +159,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -172,7 +174,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 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></strong>
<div class="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="symbol-template-class.html" class="navigation-link">Previous</a>
+ | <a href="structure-object-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -189,7 +190,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -200,7 +201,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -215,7 +216,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="standard-object-template-class.html" class="navigation-link">Previous</a>
+ | <a href="regular-expression-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -167,7 +168,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -178,7 +179,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -193,7 +194,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="number-template-class.html" class="navigation-link">Previous</a>
+ | <a href="standard-object-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -114,7 +115,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
-
+<!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -126,7 +127,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -141,7 +142,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/template-class.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-class.html 2012/12/29 23:25:22 1.2
@@ -14,8 +14,9 @@
<strong><i>CL Unification: Class TEMPLATE</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>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="usci-variable.html" class="navigation-link">Previous</a>
+ | <a href="expression-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -100,6 +101,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -111,7 +113,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -126,7 +128,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/template-p-function.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-p-function.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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="regular-expression-template-class.html" class="navigation-link">Previous</a>
+ | <a href="template-spec-accessor.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -95,7 +96,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -106,7 +107,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -121,7 +122,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/template-spec-accessor.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-spec-accessor.html 2012/12/29 23:25:22 1.2
@@ -14,8 +14,9 @@
<strong><i>CL Unification: Standard Generic Function TEMPLATE-SPEC</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>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="template-p-function.html" class="navigation-link">Previous</a>
+ | <a href="hash-t-read-macro.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -101,7 +102,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -112,7 +113,8 @@
</li>
</ul>
-
+-->
+
</div>
</div>
@@ -127,7 +129,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 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 2011/03/06 15:09:10 1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html 2012/12/29 23:25:22 1.3
@@ -138,7 +138,7 @@
<!--
-;;; 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.
-->
+ <!--
<h2>Site Map</h2>
@@ -157,7 +158,7 @@
<p>Questions? Queries? Suggestions? Comments? Please direct them
at <a href="mailto:marcoxa_PROVA_A_SPAMMARME at alu.org">me</a>.
</p>
-
+-->
</div>
</div>
@@ -198,7 +199,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2011, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="nthcdr-template-class.html" class="navigation-link">Previous</a>
+ | <a href="array-template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dictionary.html 2011/03/06 15:11:59 1.4
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dictionary.html 2012/12/29 23:25:22 1.5
@@ -14,8 +14,8 @@
<strong><i>CL Extensions: UNIFICATION Dictionary</i><string>
<div class="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="index.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ <!-- | <a href="index.html" class="navigation-link">Previous</a> -->
+ | <a href="unify-package.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -58,20 +58,24 @@
<li><a href="standard-object-template-class.html"><i>Class</i> <b>STANDARD-OBJECT-TEMPLATE</b></a></li>
<li><a href="structure-object-template-class.html"><i>Class</i> <b>STRUCTURE-OBJECT-TEMPLATE</b></a></li>
- <li><a href="make-template-function.html"><i>Function</i> <b>MAKE-TEMPLATE</b></a>
+ <li><a href="regular-expression-template-class.html"><i>Class</i> <b>REGULAR-EXPRESSION-TEMPLATE</b></a></li>
+
+ <!-- <li><a href="make-template-function.html"><i>Function</i> <b>MAKE-TEMPLATE</b></a> -->
<li><a href="template-p-function.html"><i>Generic function</i> <b>TEMPLATE-P</b></a>
<li><a href="template-spec-accessor.html"><i>Accessor</i> <b>TEMPLATE-SPEC</b></a>
<li><a href="hash-t-read-macro.html"><i>Reader Macro</i> <b>#T</b></a>
<li><a href="make-empty-environment-function.html"><i>Function</i> <b>MAKE-EMPTY-ENVIRONMENT</b></a>
+ <li><a href="make-shared-environment-function.html"><i>Function</i> <b>MAKE-SHARED-ENVIRONMENT</b></a>
<li><a href="find-variable-value-function.html"><i>Function</i> <b>FIND-VARIABLE-VALUE</b></a>
- <li><a href="match-macro.html"><i>Macro</i> <b>MATCH</b></a>
+ <li><a href="match-macro.html"><i>Macros</i> <b>MATCH</b> and <b>MATCHF</b></a>
+ <li><a href="match-case-macro.html"><i>Macros</i> <b>MATCH-CASE</b>
+ and <b>MATHCF-CASE</b></a>
<li><a href="matching-macro.html"><i>Macro</i> <b>MATCHING</b></a>
- <li><a href="match-case-macro.html"><i>Macro</i> <b>MATCH-CASE</b></a>
</ul>
<!--
-;;; 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.
-->
-<!-- <h2>Site Map</h2> -->
+<!-- <h2>Site Map</h2>
<p>Enjoy!</p>
@@ -90,7 +94,8 @@
<p>Questions? Queries? Suggestions? Comments? Please direct them
at <a href="mailto:marcoxa_PROVA_A_SPAMMARME at alu.org">me</a>.
</p>
-
+-->
+
</div>
</div>
@@ -133,7 +138,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2011, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.html 2011/02/11 17:49:39 1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.html 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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="unify-package.html" class="navigation-link">Previous</a>
+ | <a href="usci-variable.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -364,6 +365,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -375,7 +377,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -390,7 +392,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-package.html 2004/11/17 22:19:55 1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-package.html 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="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="unification-package.html" class="navigation-link">Previous</a>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ <!-- | <a href="unify-package.html" class="navigation-link">Previous</a> -->
+ | <a href="unify-function.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -79,6 +80,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
+ <!--
<h1>News</h1>
<p>News in chronological order, most recent on top.
@@ -90,7 +92,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -105,7 +107,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substitutions.html 2011/03/06 15:08:30 1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substitutions.html 2012/12/29 23:25:22 1.3
@@ -135,6 +135,7 @@
;;; will not be held liable etc etc etc etc etc.
-->
+ <!--
<h2>Site Map</h2>
@@ -146,7 +147,7 @@
<p>Questions? Queries? Suggestions? Comments? Please direct them
at <a href="mailto:marcoxa_PROVA_A_SPAMMARME at alu.org">me</a>.
</p>
-
+-->
</div>
</div>
@@ -187,7 +188,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2011, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
--- /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.html 2011/02/11 17:49:39 1.2
+++ /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.html 2012/12/29 23:25:22 1.3
@@ -14,8 +14,9 @@
<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>
- | <a href="index.html" class="navigation-link">Next</a>
+ | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a>
+ | <a href="unify-function.html" class="navigation-link">Previous</a>
+ | <a href="template-class.html" class="navigation-link">Next</a>
| <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link">Links</a>
</div>
@@ -91,7 +92,7 @@
<div class="content">
<div class="text" style="padding-top: 10px;">
- <h1>News</h1>
+<!-- <h1>News</h1>
<p>News in chronological order, most recent on top.
</p>
@@ -102,7 +103,7 @@
</li>
</ul>
-
+-->
</div>
</div>
@@ -117,7 +118,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2003-2013, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>
More information about the Cl-unification-cvs
mailing list