[cl-unification-cvs] CVS cl-unification
mantoniotti
mantoniotti at common-lisp.net
Mon May 21 12:33:19 UTC 2007
Update of /project/cl-unification/cvsroot/cl-unification
In directory clnet:/tmp/cvs-serv31922
Modified Files:
unification.asd
Log Message:
See previous message.
--- /project/cl-unification/cvsroot/cl-unification/unification.asd 2005/04/27 19:31:18 1.1
+++ /project/cl-unification/cvsroot/cl-unification/unification.asd 2007/05/21 12:33:18 1.2
@@ -12,6 +12,7 @@
(:file "lambda-list-parsing")
(:file "templates-hierarchy")
(:file "unifier")
- (:file "match-block")))
+ (:file "match-block")
+ (:file "apply-substitution")))
;;; end of file -- unification.asd --
More information about the Cl-unification-cvs
mailing list