Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv2194/docs/html Modified Files: index.html Log Message: Minor changes to text. Fixed `download.html' link. Date: Fri Jan 28 11:45:41 2005 Author: mantoniotti Index: cl-unification/docs/html/index.html diff -u cl-unification/docs/html/index.html:1.1.1.1 cl-unification/docs/html/index.html:1.2 --- cl-unification/docs/html/index.html:1.1.1.1 Wed Nov 17 14:19:55 2004 +++ cl-unification/docs/html/index.html Fri Jan 28 11:45:40 2005 @@ -34,6 +34,7 @@ <h1>Common Lisp Extensions: UNIFICATION</h1> + <hr> <em> <p> <b>DISCLAIMER:</b> The code associated to these documents is not @@ -49,6 +50,7 @@ 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