[cl-unification-cvs] CVS cl-unification

[mantoniotti]

Update of /project/cl-unification/cvsroot/cl-unification
In directory clnet:/tmp/cvs-serv2799

Modified Files:
	ChangeLog 
Log Message:
Changelog updated.


--- /project/cl-unification/cvsroot/cl-unification/ChangeLog	2007/11/09 13:47:00	1.4
+++ /project/cl-unification/cvsroot/cl-unification/ChangeLog	2008/07/13 13:36:42	1.5
@@ -1,4 +1,80 @@
-2007-11-09  author  <author at papadopoulou-2.ydras.offices.aueb.gr>
+2008-07-13  author  <author at Macintosh.local>
+
+	* 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: Cleaning 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-10  author  <author at Macintosh.local>
+
+	* apply-substitution.lisp:
+	Removed EXPORT of APPLY-SUBSTITUTION as it is already in the DEFPACKAGE.
+
+2007-11-09  author  <author at Macintosh.local>
+
+	* docs/html/index.html: Changed the position of the disclaimer.
+
+	* ChangeLog: ChangeLog updated.
+
+	* match-block.lisp:
+	Made several changes to improve MATCH-CASE (following a note from Ivan
+	Boldyrev from a long time ago), MATCHING and MATCH.
+
+	Else-clauses are now handled correctly (AFAICT).
+
+	Single variable templates in MATCH, MATCH-CASE and MATCHING clauses do
+	not need to be quoted.
+
+	MATCHING was generating one gensym'ed variable per clause without
+	creating an appropriate enclosing LET.  This is now fixed.
+
+	* substitutions.lisp:
+	Changed the top comment and added a (:copier nil) option to the
+	ENVIRONMENT defstruct, as COPY-ENVIRONMENT is defined later in the
+	file.
+
+	* cl-unification.system, cl-unification.asd:
+	Added the new system building files with more meaningful names
+	w.r.t. the name of the library.
+
+	* unification.asd, unification.system:
+	Marked the two system building files as 'obsolete', before removing
+	them from the repository.  The new files are prefixed by 'cl-'.
+
+2007-11-09  author  <author at papadopoulou-2.ydras.offices.>
 
 	* match-block.lisp:
 	Made several changes to improve MATCH-CASE (following a note from Ivan
@@ -25,7 +101,7 @@
 	Marked the two system building files as 'obsolete', before removing
 	them from the repository.  The new files are prefixed by 'cl-'.
 
-2007-05-21  author  <author at papadopoulou-2.ydras.offices.aueb.gr>
+2007-05-21  author  <author at papadopoulou-2.ydras.offices.>
 
 	* ChangeLog: ChangeLog updated.