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-21 20:00:28.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html 2013-07-21 20:00:28.000000000 +0000
@@ -368,7 +368,7 @@
<tr>
<td colspan="3" valign="bottom" align="right">
<div class="copyright">
- © 2003-2004, Marco Antoniotti, all rights reserved.
+ © 2004-2007, Marco Antoniotti, all rights reserved.
</div>
</td>
</tr>