Mon May 21 16:55:57 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-17 15:00:48.000000000 +0000
+++ new-cl-unification-1/ChangeLog 2013-07-17 15:00:48.000000000 +0000
@@ -1,3 +1,97 @@
+2007-05-21 author <author@paniscia.disco.unimib.it>
+
+ * 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.
+
+2006-07-19 author <author@paniscia.disco.unimib.it>
+
+ * templates-hierarchy.lisp, unifier.lisp:
+ Fixed two problems with the unifier machinery.
+
+ The first one had to do with the matching of NIL against SYMBOL and LIST
+ in several places: essentially, the problem is incongruencies in the
+ results of COMPUTE-APPLICABLE-METHODS in these cases. I think I caught
+ most of them: unification of lists and the occur-check were the obvious
+ places where things went awry.
+
+ The second problem had to do with the reader macro #T. The original
+ code generated an object at read time, which is not such a good idea.
+ Now the code generates a call to MAKE-TEMPLATE with is evaluated later.
+ Incidentally, the reader macro function is now called |sharp-T-reader|, in
+ order to placate Emacs fontification.
+
+ Modified Files:
+ templates-hierarchy.lisp unifier.lisp
+
+ * unification-package.lisp: Added missing export.
+
+2005-10-25 author <author@paniscia.disco.unimib.it>
+
+ * unifier.lisp: Fixed problem with the unification of a list with a
+ SEQUENCE-TEMPLATE. The implementation was not checking that the
+ length of the list was compatible with the length of the required
+ elements in the template.
+
+ Apart from that, keyword matching is still unimplemented.
+
+ * match-block.lisp:
+ Fixed problem with checking the presence of T and OTHERWISE clauses in
+ MATCHING.
+
+2005-07-25 author <author@paniscia.disco.unimib.it>
+
+ * docs/html/downloads.html: Minor cleanup.
+
+2005-05-20 author <author@paniscia.disco.unimib.it>
+
+ * docs/html/links.html: Fixed typos.
+
+ * docs/html/nil-template-class.html: Fixed bug in documentation.
+
+ * docs/html/links.html: Page updated.
+
+ * docs/html/unification-dictionary.html: Incremental change to page.
+
+ * docs/html/number-template-class.html: Fixed a documentation bug.
+ Thanks to Norman Werner for spotting it.
+
+ * docs/html/index.html: Added link to "Mailing Lists" page.
+
+ * docs/html/mailing-lists.html: File added.
+
+ * unifier.lisp:
+ Fixed two major bugs reported by Norman Werver. Unification of
+ strings and symbols and of numers and symbols was not recurring on
+ VAR-UNIFY, as required; thus
+
+ (unify '(?x ?x) '("asd" "qweert"))
+ and
+ (unify '(foo ?x baz) '(foo 42 ?x))
+
+ would succed.
+ The two cases are now fixed.
+
+2005-05-19 author <author@paniscia.disco.unimib.it>
+
+ * README: Year updated.
+
+ * ACKNOWLEDGEMENTS: File added.
+
+ * ChangeLog: ChangeLog updated.
+
+ * COPYING: Updated copyright notice.
+
+ * docs/html/downloads.html, docs/html/index.html:
+ Changed the DISCLAIMER parts in the files, in order to clarify the licensing
+ of the code.
+
2005-05-19 mantoniotti <mantoniotti@vault>
* COPYING: Updated copyright notice.