[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	ChangeLog 
Log Message:
ChangeLog updated.


--- /project/cl-unification/cvsroot/cl-unification/ChangeLog	2008/07/13 13:36:42	1.5
+++ /project/cl-unification/cvsroot/cl-unification/ChangeLog	2009/04/15 14:33:35	1.6
@@ -1,3 +1,85 @@
+2009-04-15  author  <author at paniscia.pd.disco.unimib.it>
+
+	* 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.
+
+2008-07-13  author  <author at paniscia.pd.disco.unimib.it>
+
+	* ChangeLog: Changelog updated.
+
+	* ACKNOWLEDGEMENTS:
+	Added credits to a few people.   Missing ones should bug the maintainer :)
+
+	* README: Copyright dates updated.
+
+	* unification.asd, unification.system: Cleaning up.
+	Committing in .
+
+	Removed Files:
+	 	unification.asd unification.system
+
+	* templates-hierarchy-saved.lisp: Clenaing up.
+	Committing in .
+
+	Removed Files:
+	 	templates-hierarchy-saved.lisp
+
+	* INSTALLATION: Instructions updated.
+
+	* COPYING: Copyright dates updated.
+
+	* test/unification-tests.lisp: Added file.
+
+	* substitutions.lisp, templates-hierarchy.lisp, unification-package.lisp, variables.lisp:
+	Some modification added.  Exported symbols and reverted
+	reader macro #T to construct template instances at read time.
+	Added MAKE-LOAD-FORM method for templates which should fix problem with
+	SBCL.
+
+	Committing in .
+
+	 Modified Files:
+	 	substitutions.lisp templates-hierarchy.lisp
+	 	unification-package.lisp variables.lisp
+
+	* cl-unification.system:
+	Added explicit :source-extension to accomodate Allegro CL.
+
 2008-07-13  author  <author at Macintosh.local>
 
 	* ACKNOWLEDGEMENTS: