repos
/
cl-unification
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
Copyright dates updated.
Annotate for file README
2004-11-17 mantoniotti
1
CL-UNIFICATION
22:19:54 '
2
2011-03-29 mantoniotti
3
Marco Antoniotti (c) 2004-2011
2004-11-17 mantoniotti
4
22:19:54 '
5
The directory containing this file you are reading should contain the
'
6
code and the documentation of the CL-UNIFICATION package.
'
7
'
8
The package is a full-blown library to "unify" arbitrary CL objects
'
9
while constructing bindings for placeholders (unification variables)
'
10
in a "template" sublanguage.
'
11
'
12
Enjoy.