[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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 at 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 at 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 at 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 at gmail.com>
 
 	* lambda-list-parsing.lisp: Delete trailing whitespace that turned