repos
/
cl-unification
/ darcs_commitdiff
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Minor changes to text. Fixed `download.html' link.
Fri Jan 28 19:45:40 UTC 2005 mantoniotti
* Minor changes to text. Fixed `download.html' link.
hunk ./docs/html/index.html 37
+ <hr>
hunk ./docs/html/index.html 53
+ <hr>