Fri May 20 16:41:16 UTC 2005 mantoniotti
* Fixed typos.
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-06-11 03:29:22.000000000 +0000
+++ new-cl-unification-1/docs/html/links.html 2013-06-11 03:29:22.000000000 +0000
@@ -40,8 +40,8 @@
<ul>
<li><a href="http://common-lisp.net">common-lisp.net</a>: the host site.</li>
<li><a href="http://clocc.sourceforge.net">CLOCC</a>: the site hosting <strong>MK:DEFSYSTEM</strong>.</li>
- <li><a href="http://mitpress.mit.edu/sicp">Structure and Interpretation of Computer Programs</a>: the SICP site, where inspiration for the unifief can be found.</li>
- <li><a href="http://www.norvig.com/paip.html">Paradigms of Artificial Intelligence Programming</a>: the PAIP site, where more inspiration for the unifief can be found.</li>
+ <li><a href="http://mitpress.mit.edu/sicp">Structure and Interpretation of Computer Programs</a>: the SICP site, where inspiration for the unifier can be found.</li>
+ <li><a href="http://www.norvig.com/paip.html">Paradigms of Artificial Intelligence Programming</a>: the PAIP site, where more inspiration for the unifier can be found.</li>
</ul>
</p>