Sat Apr 2 04:39:32 UTC 2011 rbrown@common-lisp.net

* Use *unify-string-case-sensitive-p* consistently.

Change the documentation.

--- old-cl-unification/unification-package.lisp 2014-09-11 07:29:55.000000000 +0000

+++ new-cl-unification/unification-package.lisp 2014-09-11 07:29:55.000000000 +0000

@@ -16,7 +16,7 @@

The package also has the \"UNIFY\" nickname.")

(:export

- "*UNIFY-STRING-CASE-INSENSITIVE-P*"

+ "*UNIFY-STRING-CASE-SENSITIVE-P*"

"UNIFY"

"APPLY-SUBSTITUTION"