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-21 20:03:18.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-21 20:03:18.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 --