[cl-unification-cvs] CVS update: cl-unification/docs/html/index.html

[Marco Antoniotti]

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