[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	ChangeLog 
Log Message:
ChangeLog updated.


--- /project/cl-unification/cvsroot/cl-unification/ChangeLog	2009/12/17 17:02:42	1.8
+++ /project/cl-unification/cvsroot/cl-unification/ChangeLog	2011/01/18 14:53:20	1.9
@@ -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 at paniscia.local>
 
 	* lib-dependent/cl-ppcre-template.asd: Initial checkin.