[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	ChangeLog 
Log Message:
ChangeLog updated.


--- /project/cl-unification/cvsroot/cl-unification/ChangeLog	2009/04/15 14:33:35	1.6
+++ /project/cl-unification/cvsroot/cl-unification/ChangeLog	2009/04/17 22:44:17	1.7
@@ -1,3 +1,71 @@
+2009-04-18  author  <author at Macintosh-9.local>
+
+	* cl-unification.system, cl-unification.asd:
+	System definitions files (.asd and .system) modified in order to make
+	dependency form CL-PPCRE optional.
+
+	* lib-dependent/cl-ppcre-template.system: File added.
+
+	* lib-dependent/cl-ppcre-template.lisp:
+	Removed REQUIRE of CL-PPCRE.  Too brittle.
+
+	* cl-unification-lib.asd: File added.
+
+2009-04-17  author  <author at Macintosh-9.local>
+
+	* unification-package.lisp:
+	Added a few exports and changed the actual package name (i.e., I put
+	my money where my mouth is; the "published" package name is now a
+	nickname).
+
+	* apply-substitution.lisp:
+	Fixed a couple of snags.  APPLY-SUBSTITUTION was not applied
+	recursively and it was barfing on numbers.
+	Current version is still incomplete, but it serves as a template for
+	further development.
+
+2009-04-15  author  <author at Macintosh-9.local>
+
+	* ChangeLog: ChangeLog updated.
+
+	* lib-dependent/cl-ppcre-template.lisp, test/unification-tests.lisp:
+	Modified Files:
+	 	test/unification-tests.lisp
+	Added Files:
+	 	lib-dependent/cl-ppcre-template.lisp
+
+	The cl-ppcre-template reuses E. Weitz's wonderful CL-PPCRE library
+	to provide a seamless (YMMV) reuse of regular expressions within
+	CL-UNIFICATION.
+
+	* templates-hierarchy.lisp: Added LAMBDA-TEMPLATE.
+
+	* substitutions.lisp:
+	Added some functionality to extract all variables and/or all values
+	from an environment or a frame.
+
+	* match-block.lisp:
+	Added MATCHF (whose name may change) to simplify the
+	'destructuring-bind'-like syntax and behavior of the matching
+	facilities.
+
+	* COPYING: Dates updated.
+
+	* unifier.lisp:
+	Major API change to 'unify'.  It now accepts keywords.  Old code
+	shouls not be affected, but new code is now more flexible.  Look the
+	the STRING and (new) CHARACTER methods to see how this change is
+	affecting the code.
+
+	* variables.lisp: Some 'diff' unfathomable change happened.
+
+	* unification-package.lisp: Added exports of a few symbols.
+
+	* cl-unification.system, cl-unification.asd:
+	Fixed a few snags and added "lib-dependent" module.
+
+	* apply-substitution.lisp: Added some functionality and comments.
+
 2009-04-15  author  <author at paniscia.pd.disco.unimib.it>
 
 	* lib-dependent/cl-ppcre-template.lisp, test/unification-tests.lisp: