Sat Apr  2 04:05:30 UTC 2011  mantoniotti@common-lisp.net
  * Exported a few more symbols.
diff -rN -u old-cl-unification/unification-package.lisp new-cl-unification/unification-package.lisp
--- old-cl-unification/unification-package.lisp	2015-10-01 05:12:21.000000000 +0000
+++ new-cl-unification/unification-package.lisp	2015-10-01 05:12:21.000000000 +0000
@@ -16,18 +16,9 @@
 The package also has the \"UNIFY\" nickname.")
 
   (:export
-   "ENABLE-TEMPLATE-READER"
-   "MAKE-TEMPLATE"
-   "TEMPLATEP"
-   "TEMPLATE-SPEC")
-
-  (:export
    "*UNIFY-STRING-CASE-INSENSITIVE-P*"
    "UNIFY"
-   "FIND-VARIABLE-VALUE"
-   "V?"
 
-   "MAKE-EMPTY-ENVIRONMENT"
    "APPLY-SUBSTITUTION"
 
    "UNIFICATION-FAILURE"
@@ -36,7 +27,29 @@
 
   (:export
    "ENVIRONMENT"
-   "ENVIRONMENT-P")
+   "ENVIRONMENT-P"
+   "MAKE-EMPTY-ENVIRONMENT"
+   "EMPTY-ENVIRONMENT-P"
+   "MAKE-SHARED-ENVIRONMENT"
+   "COPY-ENVIRONMENT"
+   
+   "PUSH-FRAME"
+   "POP-FRAME"
+
+   "BINDING-VARIABLE"
+   "BINDING-VALUE"
+
+   "EXTEND-ENVIRONMENT"
+   "FILL-ENVIRONMENT"
+   "FILL-ENVIRONMENT*"
+
+   "FIND-VARIABLE-VALUE"
+   "V?"
+
+   "NEW-VAR"
+   "VARIABLEP"
+   "VARIABLE-ANY-P"
+   )
 
   (:export
    "MATCH"
@@ -55,6 +68,15 @@
    "UNIFY-EQUATIONS"
    "UNIFY-EQUATIONS*")
 
+  (:export
+   "ENABLE-TEMPLATE-READER"
+   "MAKE-TEMPLATE"
+   "TEMPLATEP"
+   "TEMPLATE-SPEC"
+
+   "COLLECT-TEMPLATE-VARS"
+   )
+
   #+cl-ppcre
   (:export
    "REGULAR-EXPRESSION"