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@papadopoulou-2.ydras.offices.aueb.gr> +2008-07-13 author <author@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@Macintosh.local> + + * apply-substitution.lisp: + Removed EXPORT of APPLY-SUBSTITUTION as it is already in the DEFPACKAGE. + +2007-11-09 author <author@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@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@papadopoulou-2.ydras.offices.aueb.gr> +2007-05-21 author <author@papadopoulou-2.ydras.offices.> * ChangeLog: ChangeLog updated.