darcs - cl-unification

description	repo for cl-unification
last change	Tue, 13 Mar 2012 15:29:16
url	http://repo.kepibu.org/cl-unification/
project url	http://code.kepibu.org/cl-unification/
mailing list url	http://lists.kepibu.org/listinfo/cl-unification

shortlog

13 Mar 2012 15:29	mantoniotti@common-lis ...	Added TIMESTAMP.	commit \| commitdiff
13 Mar 2012 15:28	mantoniotti@common-lis ...	Copyright updated.	commit \| commitdiff
13 Mar 2012 15:28	mantoniotti@common-lis ...	Copyright updated.	commit \| commitdiff
16 Jun 2011 00:10	mantoniotti@common-lis ...	Added "CL-UNIFICATION" as package nickname to match the ...	commit \| commitdiff
02 Apr 2011 04:39	rbrown@common-lisp.net	*Use unify-string-case-sensitive-p* consistently.**	commit \| commitdiff
02 Apr 2011 04:19	rbrown@common-lisp.net	match-block.lisp: Use &body in match-case and matchf-case so	commit \| commitdiff
02 Apr 2011 04:16	mantoniotti@common-lis ...	Copyright updated.	commit \| commitdiff
02 Apr 2011 04:11	mantoniotti@common-lis ...	Updated copyright info and a News.	commit \| commitdiff
02 Apr 2011 04:09	mantoniotti@common-lis ...	ChangeLog updated.	commit \| commitdiff
02 Apr 2011 04:08	mantoniotti@common-lis ...	Remove Thumbs.db and friends	commit \| commitdiff
02 Apr 2011 04:05	mantoniotti@common-lis ...	Exported a few more symbols.	commit \| commitdiff
02 Apr 2011 04:05	mantoniotti@common-lis ...	Minor changes (added COPYING information and other minut ...	commit \| commitdiff
02 Apr 2011 04:01	mantoniotti@common-lis ...	Changed some environment functions and improved the DUMP ...	commit \| commitdiff
02 Apr 2011 03:51	mantoniotti@common-lis ...	Acknowledgements updated.	commit \| commitdiff
02 Apr 2011 03:50	rbrown@common-lisp.net	Delete trailing whitespace. In lambda-list-parsing.lisp ...	commit \| commitdiff
...

README

CL-UNIFICATION

Marco Antoniotti (c) 2004-2011

The directory containing this file you are reading should contain the
code and the documentation of the CL-UNIFICATION package.

The package is a full-blown library to "unify" arbitrary CL objects
while constructing bindings for placeholders (unification variables)
in a "template" sublanguage.

Enjoy.

Sally sells sea-shells by the sea shore.

RSS