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

Modified Files: ChangeLog Log Message: ChangeLog updated.

--- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2007/05/21 16:55:57 1.2 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2007/05/21 17:12:58 1.3 @@ -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: