repos
/
cl-unification
/ darcs_commitdiff
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
unified
|
plain
|
darcs
Added missing export.
Wed Jul 19 20:28:49 UTC 2006 mantoniotti
* Added missing export.
hunk ./unification-package.lisp 20
- "MATCHING"))
+ "MATCHING"
+ "MATCH-CASE"))