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