Wed Apr 15 10:10:25 UTC 2009 mantoniotti
* Added exports of a few symbols.
diff -rN -u old-cl-unification-1/unification-package.lisp new-cl-unification-1/unification-package.lisp
--- old-cl-unification-1/unification-package.lisp 2013-07-21 20:04:37.000000000 +0000
+++ new-cl-unification-1/unification-package.lisp 2013-07-21 20:04:37.000000000 +0000
@@ -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 --