Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv26976 Modified Files: unification-package.lisp Log Message: Added exports of a few symbols. --- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2008/07/13 13:10:48 1.4 +++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2009/04/15 10:10:25 1.5 @@ -3,6 +3,7 @@ (defpackage "CL.EXT.DACF.UNIFICATION" (:use "CL") (:nicknames "UNIFY") (:documentation "The CL.EXT.DACF.UNIFICATION Package. + This package contains all the definitions necessary for the general Common Lisp unifier to work. The package also has the \"UNIFY\" nickname.") @@ -31,7 +32,14 @@ (:export "MATCH" + "MATCHF" "MATCHING" - "MATCH-CASE")) + "MATCH-CASE") + + (:export + "UNIFY*" + "UNIFY-EQUATIONS" + "UNIFY-EQUATIONS*") + ) ;;; end of file -- unification-package.lisp --