Thu May 19 22:49:59 UTC 2005  mantoniotti
  * Changed the DISCLAIMER parts in the files, in order to clarify the licensing
  Changed the DISCLAIMER parts in the files, in order to clarify the licensing
  of the code.
  
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-24 17:40:06.000000000 +0000
+++ new-cl-unification-1/docs/html/downloads.html	2013-07-24 17:40:06.000000000 +0000
@@ -41,13 +41,11 @@
   completely tested and it is bound to contain errors and omissions.
   This documentation may contain errors and omissions as well.</p>
 
-  <p>Finally, the license under which the code is released is not
-  settled yet, although the file <tt>COPYING</tt> contains a
-  Berkeley-style license.  For the time being 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>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>
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:06.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html	2013-07-24 17:40:06.000000000 +0000
@@ -41,13 +41,11 @@
   completely tested and it is bound to contain errors and omissions.
   This documentation may contain errors and omissions as well.</p>
 
-  <p>Finally, the license under which the code is released is not
-  settled yet, although the file <tt>COPYING</tt> contains a
-  Berkeley-style license.  For the time being 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>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>