repos
/
cl-unification
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
Minor changes (added COPYING information and other minutiae).
Annotate for file cl-unification.system
2004-11-17 mantoniotti
1
;;;; -*- Mode: Lisp -*-
22:19:54 '
2
'
3
;;;; cl-unification.system --
'
4
;;;; MK:DEFSYSTEM system file.
'
5
2011-04-02 mantoniotti
6
;;;; See file COPYING for copyright licensing information.
04:05:18 '
7
2004-11-17 mantoniotti
8
(mk:defsystem "CL-UNIFICATION"
2009-04-17 mantoniotti
9
:source-extension "lisp"
22:42:46 '
10
:components ("unification-package"
'
11
"variables"
'
12
"substitutions"
'
13
"lambda-list-parsing"
'
14
"templates-hierarchy"
'
15
"unifier"
'
16
"match-block"
'
17
"apply-substitution"
'
18
(:module "lib-dependent"
'
19
:depends-on ("templates-hierarchy" "unifier")
'
20
:components ((:subsystem "cl-ppcre-template"
'
21
:non-required-p t
'
22
)
'
23
))
'
24
))
2011-04-02 rbrown
25
2004-11-17 mantoniotti
26
;;; end of file -- cl-unification.system --