repos / cl-unification / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Major API change to 'unify'. It now accepts keywords. Old code
authormantoniotti
local dateWed, 15 Apr 2009 10:14:24
dateWed, 15 Apr 2009 10:14:24
hash20090415101424-0588d-deeeeb8c5a62a0797df45af473df51ad17ab862d.gz
Major API change to 'unify'. It now accepts keywords. Old code

Major API change to 'unify'. It now accepts keywords. Old code
shouls not be affected, but new code is now more flexible. Look the
the STRING and (new) CHARACTER methods to see how this change is
affecting the code.
1 file(s) changed:
unifier.lisp +356 -67 diff | history | annotate
There once was a man from Nantucket…