Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory clnet:/tmp/cvs-serv1902

Modified Files: index.html Log Message: Changed the position of the disclaimer.

--- /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2007/05/21 17:10:26 1.5 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2007/11/09 13:56:40 1.6 @@ -34,23 +34,6 @@

<h1>Common Lisp Extensions: UNIFICATION</h1>

- - <hr> - <em> - <p> - <b>DISCLAIMER:</b> The code associated to these documents is not - 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> - </em> - <hr> - <p>The notion of <em>unification</em> originated in the field of formal logic (e.g. <a href="#R65">[R65]</a>,) and has been used extensively in Computer Science and Programming Languages. Most @@ -303,6 +286,25 @@ <a name="R65">[R56]</a> J. A. Robinson, <i>A machine-oriented logic based on the resolution principle</i>, Journal of the ACM, Vol. 12, No. 1, January 1965, Pages 23--49.</p> + + + <h1></h1> + <hr> + <em> + <p> + <b>DISCLAIMER:</b> The code associated to these documents is not + 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> + </em> + <hr> +

<!-- @@ -347,6 +349,8 @@ </p>

<ul> + <li><strong>2007-11-09</strong><br> + Updated. <li><strong>2004-11-04</strong><br> Updated. <li><strong>2004-05-05</strong><br>