Fri Jan 28 19:46:37 UTC 2005 mantoniotti
* Added file `downloads.html'.
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-06-24 02:11:01.000000000 +0000
+++ new-cl-unification-1/docs/html/downloads.html 2013-06-24 02:11:01.000000000 +0000
@@ -15,7 +15,7 @@
<div class="navigation">
<a href="index.html" class="navigation-link">Home</a>
| <a href="downloads.html" class="navigation-link-selected">Downloads</a>
- | <a href="links.html" class="navigation-link">Links</a>
+ | <a href="links.html" class="navigation-link">Links</a>
</div>
</div>
<div class="black-line"><img src="images/shim.gif" height="1" width="1"></div>
@@ -41,11 +41,13 @@
completely tested and it is bound to contain errors and omissions.
This documentation may contain errors and omissions as well.</p>
- <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>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>
</em>
<hr>