Mon Jul 25 15:15:08 UTC 2005  mantoniotti
  * Minor cleanup.
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:32.000000000 +0000
+++ new-cl-unification-1/docs/html/downloads.html	2013-07-24 17:40:32.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>