Fri May 20 15:47:44 UTC 2005  mantoniotti
  * Added link to "Mailing Lists" page.
diff -rN -u old-cl-unification-1/docs/html/index.html new-cl-unification-1/docs/html/index.html
--- old-cl-unification-1/docs/html/index.html	2013-07-24 17:40:23.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html	2013-07-24 17:40:23.000000000 +0000
@@ -15,7 +15,8 @@
     <div class="navigation">
      <a href="index.html" class="navigation-link-selected">Home</a>
       | <a href="downloads.html" class="navigation-link">Downloads</a>
-      |  <a href="links.html" class="navigation-link">Links</a>
+      | <a href="mailing-lists.html" class="navigation-link">Mailing Lists</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>