Thu Apr 21 15:33:20 UTC 2005 mantoniotti
* Fixed, but not completed, the page.
diff -rN -u old-cl-unification-1/docs/html/links.html new-cl-unification-1/docs/html/links.html
--- old-cl-unification-1/docs/html/links.html 2013-07-21 19:56:38.000000000 +0000
+++ new-cl-unification-1/docs/html/links.html 2013-07-21 19:56:38.000000000 +0000
@@ -1,6 +1,6 @@
<html>
<head>
- <title>CLRFI: COMMON LISP Requests for Improvements Links</title>
+ <title>CL Unification Links</title>
<link rel="stylesheet" href="main.css">
</head>
@@ -11,12 +11,10 @@
<td colspan="3">
<div class="header"
style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;">
- <strong><i>CLRFI: Common Lisp Requests for Improvements Links</i><string>
+ <strong><i>CL Unification Links</i><string>
<div class="navigation">
<a href="index.html" class="navigation-link">Home</a>
- | <a href="doc.html" class="navigation-link">Documents</a>
- | <a href="faq.html" class="navigation-link">FAQ</a>
- | <a href="clrfis.html" class="navigation-link">CLRFI listing</a>
+ | <a href="downloads.html" class="navigation-link">Downloads</a>
| <a href="links.html" class="navigation-link-selected">Links</a>
</div>
</div>
@@ -35,26 +33,11 @@
<h1>Links</h1>
- <p>Here are some links which are pertinent to the CLRFI project.</p>
+ <p>Here are some links which are pertinent to the
+ <strong>CL-UNIFICATION</strong> project.</p>
- <ul>
- <li><a href="http://srfi.schemers.org">SRFI</a></li>
-
- <li>Local <strong>Common Lisp</strong> user communities
- <ul>
- <li><a href="http://www.lispnyc.org">LispNYC</a></li>
- <li><a href="http://www.jugtouch.com/~rss/lisp">CRACL</a></li>
- </ul>
- </li>
+ <p>...</p>
- <li>Software Repositories
- <ul>
- <li><a href="http://www.common-lisp.net">common-lisp.net</a></li>
- <li>...</li>
- </ul>
- </li>
- <li>...</li>
- </ul>
<!--
;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved.
@@ -92,6 +75,10 @@
</p>
<ul>
+ <li><strong>2005-04-20</strong><br>
+ Fixed (but not completed) the page.
+ </li>
+
<li><strong>2004-04-12</strong><br>
Started the site.
</li>