Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv21770

Modified Files: ChangeLog Log Message: ChangeLog updated.

--- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2011/02/24 20:44:12 1.12 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2011/02/27 19:51:13 1.13 @@ -1,3 +1,41 @@ +2011-02-27 author author@paniscia.local + + * .cvsignore: Updated. + + * docs/html/images/Thumbs.db, docs/html/images/Thumbs.db:encryptable: + Removed Files: + Thumbs.db Thumbs.db:encryptable + +2011-02-26 author author@paniscia.local + + * .cvsignore: Updated. + + * variables.lisp, unifier.lisp: + Minor changes (added COPYING information and other minutiae). + + * unification-package.lisp: Exported a few more symbols. + + * templates-hierarchy.lisp: + Minor changes (added COPYING information and other minutiae). + + * substitutions.lisp: + Changed some environment functions and improved the DUMP-* ones. + + * match-block.lisp, lambda-list-parsing.lisp, cl-unification.system, cl-unification.asd, cl-unification-lib.asd, apply-substitution.lisp: + Minor changes (added COPYING information and other minutiae). + + * ACKNOWLEDGEMENTS: Acknowledgements updated. + +2011-02-24 author author@paniscia.local + + * ChangeLog, apply-substitution.lisp, cl-unification.system, lambda-list-parsing.lisp, lib-dependent/cl-ppcre-template.lisp, match-block.lisp, templates-hierarchy.lisp, unifier.lisp: + Delete trailing whitespace. In lambda-list-parsing.lisp this fixes a bug + with ~@<newline> format directives. + + * ChangeLog, test/unification-tests.lisp, unifier.lisp: + unifier.lisp: Allow vectors to unify with sequence templates. + test/unification-tests.lisp: new test to verify the change + 2011-02-24 Robert Brown robert.brown@gmail.com

* lambda-list-parsing.lisp: Delete trailing whitespace that turned