Sun Jul 13 13:28:48 UTC 2008 mantoniotti * Cleaning up. Cleaning up. Committing in . Removed Files: unification.asd unification.system diff -rN -u old-cl-unification-1/unification.asd new-cl-unification-1/unification.asd --- old-cl-unification-1/unification.asd 2013-07-24 17:41:39.000000000 +0000 +++ new-cl-unification-1/unification.asd 1970-01-01 00:00:00.000000000 +0000 @@ -1,22 +0,0 @@ -;;; -*- Mode: Lisp -*- - -;;; unification.asd -- -;;; ASDF system file. -;;; -;;; Note: -;;; [20071109 MA] -;;; This file is OBSOLETE. Use 'cl-unification.asd' instead. - -(asdf:defsystem cl-unification - :author "Marco Antoniotti" - :serial t - :components ((:file "unification-package") - (:file "variables") - (:file "substitutions") - (:file "lambda-list-parsing") - (:file "templates-hierarchy") - (:file "unifier") - (:file "match-block") - (:file "apply-substitution"))) - -;;; end of file -- unification.asd -- diff -rN -u old-cl-unification-1/unification.system new-cl-unification-1/unification.system --- old-cl-unification-1/unification.system 2013-07-24 17:41:39.000000000 +0000 +++ new-cl-unification-1/unification.system 1970-01-01 00:00:00.000000000 +0000 @@ -1,20 +0,0 @@ -;;; -*- Mode: Lisp -*- - -;;; unification.system -- -;;; MK:DEFSYSTEM system file. -;;; -;;; Note: -;;; [20071109 MA] -;;; This file is OBSOLETE. Use 'cl-unification.system' instead. - -(mk:defsystem "UNIFICATION" - :components ("unification-package" - "variables" - "substitutions" - "lambda-list-parsing" - "templates-hierarchy" - "unifier" - "match-block" - "apply-substitution")) - -;;; end of file -- unification.system --