[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	unification.system 
Log Message:
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.


--- /project/cl-unification/cvsroot/cl-unification/unification.system	2004/11/17 22:19:55	1.1.1.1
+++ /project/cl-unification/cvsroot/cl-unification/unification.system	2007/05/21 12:29:24	1.2
@@ -7,6 +7,7 @@
                "lambda-list-parsing"
                "templates-hierarchy"
                "unifier"
-               "match-block"))
+               "match-block"
+               "apply-substitution"))
    
 ;;; end of file -- unification.system --