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-21 19:59:33.000000000 +0000
+++ new-cl-unification-1/docs/html/downloads.html 2013-07-21 19:59:33.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>