Minor changes (added COPYING information and other minutiae).
authormantoniotti@common-lisp.net
local dateSat, 02 Apr 2011 04:05:18
dateSat, 02 Apr 2011 04:05:18
hash20110402040518-53440-a6e721c6b961a1f9355dde51fe05b7de2471d8ae.gz
11 file(s) changed:
apply-substitution.lisp +7 -5
cl-unification-lib.asd +2 -0
cl-unification.asd +2 -0
cl-unification.system +2 -0
lambda-list-parsing.lisp +2 -0
match-block.lisp +2 -0
substitutions.lisp +2 -0
templates-hierarchy.lisp +2 -0
unification-package.lisp +2 -2
unifier.lisp +2 -0
variables.lisp +12 -3