repos
/
cl-unification
/ commit
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Added some functionality and comments.
author
mantoniotti
local date
Wed, 15 Apr 2009 10:05:58
date
Wed, 15 Apr 2009 10:05:58
hash
20090415100558-0588d-0d7c241abd03a5c6241ea9274d4008196ba3ead1.gz
1 file(s) changed:
apply-substitution.lisp
+52 -12
diff
|
history
|
annotate