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-07-24 17:41:24.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html	2013-07-24 17:41:24.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>