Tue Mar 13 15:29:16 UTC 2012  mantoniotti@common-lisp.net
  * Added TIMESTAMP.
Tue Mar 13 15:28:28 UTC 2012  mantoniotti@common-lisp.net
  * Copyright updated.
diff -rN -u old-cl-unification-1/TIMESTAMP new-cl-unification-1/TIMESTAMP
--- old-cl-unification-1/TIMESTAMP	1970-01-01 00:00:00.000000000 +0000
+++ new-cl-unification-1/TIMESTAMP	2013-07-25 02:32:20.000000000 +0000
@@ -0,0 +1 @@
+20120116
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-25 02:32:20.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html	2013-07-25 02:32:20.000000000 +0000
@@ -374,7 +374,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2004-2011, Marco Antoniotti, all rights reserved.
+  &copy; 2004-2012, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>