Tue Mar 29 23:20:53 UTC 2011  mantoniotti@common-lisp.net
  * ChangeLog updated.
diff -rN -u old-cl-unification/ChangeLog new-cl-unification/ChangeLog
--- old-cl-unification/ChangeLog	2013-09-04 15:58:48.000000000 +0000
+++ new-cl-unification/ChangeLog	2013-09-04 15:58:48.000000000 +0000
@@ -1,3 +1,39 @@
+2011-01-18  author  <author at paniscia.local>
+
+	* unifier.lisp:
+	After a careful reading of PAIP fixed a very subtle bug in VAR-UNIFY
+	that prevented the correct unification of:
+
+	    (?x ?y a)
+
+	with
+
+	    (?y ?x ?x)
+
+	* substitutions.lisp:
+	Added debugging functions DUMP-FRAME and DUMP-ENVIRONMENT.
+
+	* .cvsignore: Added .cvsignore file.
+
+2009-12-17  author  <author at paniscia.local>
+
+	* ChangeLog: ChangeLog updated.
+
+	* lib-dependent/cl-ppcre-template.asd: Initial checkin.
+
+	* lib-dependent/cl-ppcre-template.lisp:
+	Patched to use Cl-PPCRE:SCAN-TO-STRINGS (thanks to Pixel // pinterface [a] gmail dot com).
+
+	* unifier.lisp: Minor cosmetic changes.
+
+	* unification-package.lisp: Exported MATCHF-CASE.
+
+	* templates-hierarchy.lisp:
+	Fixed a couple of problems with some accessors in the NUMBER,
+	STRUCTURE-OBJECT and STANDARD-OBJECT templates.
+
+	* match-block.lisp: Added MATCHF* macros.
+
 2009-12-17  author  <author@paniscia.local>
 
 	* lib-dependent/cl-ppcre-template.asd: Initial checkin.