Fri Nov 9 13:56:40 UTC 2007 mantoniotti
* Changed the position of the disclaimer.
diff -rN -u old-cl-unification-1/docs/html/index.html new-cl-unification-1/docs/html/index.html
--- old-cl-unification-1/docs/html/index.html 2013-06-25 02:39:42.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html 2013-06-25 02:39:42.000000000 +0000
@@ -34,23 +34,6 @@
<h1>Common Lisp Extensions: UNIFICATION</h1>
-
- <hr>
- <em>
- <p>
- <b>DISCLAIMER:</b> The code associated to these documents is not
- completely tested and it is bound to contain errors and omissions.
- This documentation may contain errors and omissions as well.</p>
-
- <p>The file <tt>COPYING</tt> contains a Berkeley-style license. You
- are advised to use the code at your own risk. No warranty
- whatsoever is provided, the author will not be held responsible for
- any effect generated by your use of the library, and you can put
- here the scarier extra disclaimer you can think of.
- </p>
- </em>
- <hr>
-
<p>The notion of <em>unification</em> originated in the field of
formal logic (e.g. <a href="#R65">[R65]</a>,) and has been used
extensively in Computer Science and Programming Languages. Most
@@ -303,6 +286,25 @@
<a name="R65">[R56]</a> J. A. Robinson, <i>A machine-oriented logic based on the
resolution principle</i>, Journal of the ACM, Vol. 12, No. 1,
January 1965, Pages 23--49.</p>
+
+
+ <h1></h1>
+ <hr>
+ <em>
+ <p>
+ <b>DISCLAIMER:</b> The code associated to these documents is not
+ completely tested and it is bound to contain errors and omissions.
+ This documentation may contain errors and omissions as well.</p>
+
+ <p>The file <tt>COPYING</tt> contains a Berkeley-style license. You
+ are advised to use the code at your own risk. No warranty
+ whatsoever is provided, the author will not be held responsible for
+ any effect generated by your use of the library, and you can put
+ here the scarier extra disclaimer you can think of.
+ </p>
+ </em>
+ <hr>
+
<!--
@@ -347,6 +349,8 @@
</p>
<ul>
+ <li><strong>2007-11-09</strong><br>
+ Updated.
<li><strong>2004-11-04</strong><br>
Updated.
<li><strong>2004-05-05</strong><br>