[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	ChangeLog 
Log Message:
ChangeLog updated.


--- /project/cl-unification/cvsroot/cl-unification/ChangeLog	2007/05/21 17:12:58	1.3
+++ /project/cl-unification/cvsroot/cl-unification/ChangeLog	2007/11/09 13:47:00	1.4
@@ -1,3 +1,55 @@
+2007-11-09  author  <author at papadopoulou-2.ydras.offices.aueb.gr>
+
+	* 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-05-21  author  <author at papadopoulou-2.ydras.offices.aueb.gr>
+
+	* ChangeLog: ChangeLog updated.
+
+	* README, ACKNOWLEDGEMENTS, COPYING, INSTALLATION:
+	Updated copyrights dates and changed a few instructions in the
+	INSTALLATION file.
+
+	* docs/html/index.html: Updated copyrights dates.
+
+	* ChangeLog: ChangeLog updated.
+
+	* unification-package.lisp, unification.asd, apply-substitution.lisp, match-block.lisp, substitutions.lisp:
+	See previous message.
+
+	* unification.system:
+	Added file 'apply-substitition.lisp' with a few new functions that are
+	a start for the variable substitition operation.
+
+	New fixes to the MATCH and MATCH-CASE macros.  They should now work as
+	advertised.
+
+	Minor changes to other files: added exports to package file, fixed
+	.system and .asd files.
+
 2007-05-21  author  <author at Paniscia-di-Marco-Antoniotti.local>
 
 	* README, ACKNOWLEDGEMENTS, COPYING, INSTALLATION: