Sat Apr  2 04:16:51 UTC 2011  mantoniotti@common-lisp.net
  * Copyright updated.
diff -rN -u old-cl-unification-1/docs/html/control-flow.html new-cl-unification-1/docs/html/control-flow.html
--- old-cl-unification-1/docs/html/control-flow.html	2013-07-22 18:02:48.000000000 +0000
+++ new-cl-unification-1/docs/html/control-flow.html	2013-07-22 18:02:48.000000000 +0000
@@ -208,7 +208,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 
-  <h1>News</h1>
+<!--  <h1>News</h1>
 
   <p>News in chronological order, most recent on top.
   </p>
@@ -218,7 +218,8 @@
       Document created
   </li>
   </ul>
-
+-->
+  
   </div>
   </div>
 						
@@ -233,7 +234,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
diff -rN -u old-cl-unification-1/docs/html/dictionary.html new-cl-unification-1/docs/html/dictionary.html
--- old-cl-unification-1/docs/html/dictionary.html	2013-07-22 18:02:48.000000000 +0000
+++ new-cl-unification-1/docs/html/dictionary.html	2013-07-22 18:02:48.000000000 +0000
@@ -279,7 +279,7 @@
   
 
 <!--
-;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2011 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -314,7 +314,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 
-  <h1>News</h1>
+<!--  <h1>News</h1>
 
   <p>News in chronological order, most recent on top.
   </p>
@@ -324,7 +324,7 @@
       Started the site.
   </li>
   </ul>
-
+-->
   </div>
   </div>
 						
@@ -339,7 +339,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
diff -rN -u old-cl-unification-1/docs/html/downloads.html new-cl-unification-1/docs/html/downloads.html
--- old-cl-unification-1/docs/html/downloads.html	2013-07-22 18:02:48.000000000 +0000
+++ new-cl-unification-1/docs/html/downloads.html	2013-07-22 18:02:48.000000000 +0000
@@ -97,7 +97,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 
-  <h1>News</h1>
+<!--  <h1>News</h1>
 
   <p>News in chronological order, most recent on top.
   </p>
@@ -109,7 +109,7 @@
       Started the site.
   </li>
   </ul>
-
+-->
   </div>
   </div>
 						
@@ -124,7 +124,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
diff -rN -u old-cl-unification-1/docs/html/links.html new-cl-unification-1/docs/html/links.html
--- old-cl-unification-1/docs/html/links.html	2013-07-22 18:02:48.000000000 +0000
+++ new-cl-unification-1/docs/html/links.html	2013-07-22 18:02:48.000000000 +0000
@@ -76,7 +76,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 
-  <h1>News</h1>
+ <!-- <h1>News</h1>
 
   <p>News in chronological order, most recent on top.
   </p>
@@ -94,7 +94,8 @@
       Started the site.
   </li>
   </ul>
-
+-->
+  
   </div>
   </div>
 						
@@ -109,7 +110,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
diff -rN -u old-cl-unification-1/docs/html/mailing-lists.html new-cl-unification-1/docs/html/mailing-lists.html
--- old-cl-unification-1/docs/html/mailing-lists.html	2013-07-22 18:02:48.000000000 +0000
+++ new-cl-unification-1/docs/html/mailing-lists.html	2013-07-22 18:02:48.000000000 +0000
@@ -55,7 +55,7 @@
   
 
 <!--
-;;; Copyright (c) 2004-2005 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2011 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -90,7 +90,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 
-  <h1>News</h1>
+<!--  <h1>News</h1>
 
   <p>News in chronological order, most recent on top.
   </p>
@@ -102,7 +102,7 @@
       Started the site.
   </li>
   </ul>
-
+-->
   </div>
   </div>
 						
@@ -117,7 +117,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
diff -rN -u old-cl-unification-1/docs/html/templates.html new-cl-unification-1/docs/html/templates.html
--- old-cl-unification-1/docs/html/templates.html	2013-07-22 18:02:48.000000000 +0000
+++ new-cl-unification-1/docs/html/templates.html	2013-07-22 18:02:48.000000000 +0000
@@ -173,7 +173,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 
-  <h1>News</h1>
+<!--  <h1>News</h1>
 
   <p>News in chronological order, most recent on top.
   </p>
@@ -183,7 +183,7 @@
       Document created
   </li>
   </ul>
-
+-->
   </div>
   </div>
 						
@@ -198,7 +198,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
diff -rN -u old-cl-unification-1/docs/html/unification-dictionary.html new-cl-unification-1/docs/html/unification-dictionary.html
--- old-cl-unification-1/docs/html/unification-dictionary.html	2013-07-22 18:02:48.000000000 +0000
+++ new-cl-unification-1/docs/html/unification-dictionary.html	2013-07-22 18:02:48.000000000 +0000
@@ -106,7 +106,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 
-  <h1>News</h1>
+<!--  <h1>News</h1>
 
   <p>News in chronological order, most recent on top.
   </p>
@@ -118,7 +118,7 @@
       Started the page.
   </li>
   </ul>
-
+-->
   </div>
   </div>
 						
@@ -133,7 +133,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>
diff -rN -u old-cl-unification-1/docs/html/unifying-substitutions.html new-cl-unification-1/docs/html/unifying-substitutions.html
--- old-cl-unification-1/docs/html/unifying-substitutions.html	2013-07-22 18:02:48.000000000 +0000
+++ new-cl-unification-1/docs/html/unifying-substitutions.html	2013-07-22 18:02:48.000000000 +0000
@@ -162,7 +162,7 @@
   <div class="content">
   <div class="text" style="padding-top: 10px;">
 
-  <h1>News</h1>
+<!--  <h1>News</h1>
 
   <p>News in chronological order, most recent on top.
   </p>
@@ -172,7 +172,7 @@
       Document created
   </li>
   </ul>
-
+-->
   </div>
   </div>
 						
@@ -187,7 +187,7 @@
  <tr>
   <td colspan="3" valign="bottom" align="right">
   <div class="copyright">
-  &copy; 2003-2004, Marco Antoniotti, all rights reserved.
+  &copy; 2003-2011, Marco Antoniotti, all rights reserved.
   </div>
   </td>
  </tr>