Mon May 21 12:29:24 UTC 2007 mantoniotti
* Added file 'apply-substitition.lisp' with a few new functions that are
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.
diff -rN -u old-cl-unification-1/unification.system new-cl-unification-1/unification.system
--- old-cl-unification-1/unification.system 2013-07-21 19:59:57.000000000 +0000
+++ new-cl-unification-1/unification.system 2013-07-21 19:59:57.000000000 +0000
@@ -7,6 +7,7 @@
"lambda-list-parsing"
"templates-hierarchy"
"unifier"
- "match-block"))
+ "match-block"
+ "apply-substitution"))
;;; end of file -- unification.system --