Mon May 21 17:10:26 UTC 2007  mantoniotti
  * Updated copyrights dates.
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:40:57.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html	2013-07-24 17:40:57.000000000 +0000
@@ -368,7 +368,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2004-2007, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>