Mon May 21 17:12:58 UTC 2007  mantoniotti
  * ChangeLog updated.
diff -rN -u old-cl-unification-1/ChangeLog new-cl-unification-1/ChangeLog
--- old-cl-unification-1/ChangeLog	2013-07-24 17:40:59.000000000 +0000
+++ new-cl-unification-1/ChangeLog	2013-07-24 17:40:59.000000000 +0000
@@ -1,3 +1,26 @@
+2007-05-21  author  <author@Paniscia-di-Marco-Antoniotti.local>
+
+	* 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@paniscia.disco.unimib.it>
 
 	* unification.system: