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-24 17:39:42.000000000 +0000 +++ new-cl-unification-1/docs/html/links.html 2013-07-24 17:39:42.000000000 +0000 @@ -1,6 +1,6 @@
-Here are some links which are pertinent to the CLRFI project.
+Here are some links which are pertinent to the + CL-UNIFICATION project.
-...
-