repos
/
cl-unification
/ shortlog
summary
|
shortlog
|
log
|
tree
shortlog
...
17 Apr 2009 07:52
mantoniotti
Fixed a couple of snags. APPLY-SUBSTITUTION was not applied
commit
|
commitdiff
15 Apr 2009 14:33
mantoniotti
ChangeLog updated.
commit
|
commitdiff
15 Apr 2009 10:24
mantoniotti
Modified Files:
commit
|
commitdiff
15 Apr 2009 10:18
mantoniotti
Added LAMBDA-TEMPLATE.
commit
|
commitdiff
15 Apr 2009 10:17
mantoniotti
Added some functionality to extract all variables and/or ...
commit
|
commitdiff
15 Apr 2009 10:16
mantoniotti
Added MATCHF (whose name may change) to simplify the
commit
|
commitdiff
15 Apr 2009 10:14
mantoniotti
Dates updated.
commit
|
commitdiff
15 Apr 2009 10:14
mantoniotti
Major API change to 'unify'. It now accepts keywords. ...
commit
|
commitdiff
15 Apr 2009 10:12
mantoniotti
Some 'diff' unfathomable change happened.
commit
|
commitdiff
15 Apr 2009 10:10
mantoniotti
Added exports of a few symbols.
commit
|
commitdiff
15 Apr 2009 10:06
mantoniotti
Fixed a few snags and added "lib-dependent" module.
commit
|
commitdiff
15 Apr 2009 10:05
mantoniotti
Added some functionality and comments.
commit
|
commitdiff
13 Jul 2008 13:36
mantoniotti
TAG rev-1_0-cleaned-up
commit
|
commitdiff
13 Jul 2008 13:36
mantoniotti
Changelog updated.
commit
|
commitdiff
13 Jul 2008 13:33
mantoniotti
Added credits to a few people. Missing ones should bug ...
commit
|
commitdiff
13 Jul 2008 13:30
mantoniotti
Copyright dates updated.
commit
|
commitdiff
13 Jul 2008 13:28
mantoniotti
Cleaning up.
commit
|
commitdiff
13 Jul 2008 13:26
mantoniotti
Clenaing up.
commit
|
commitdiff
13 Jul 2008 13:20
mantoniotti
Instructions updated.
commit
|
commitdiff
13 Jul 2008 13:17
mantoniotti
Copyright dates updated.
commit
|
commitdiff
13 Jul 2008 13:14
mantoniotti
Added file.
commit
|
commitdiff
13 Jul 2008 13:10
mantoniotti
Some modification added. Exported symbols and reverted
commit
|
commitdiff
13 Jul 2008 12:51
mantoniotti
Added explicit :source-extension to accomodate Allegro CL.
commit
|
commitdiff
10 Jul 2008 17:39
mantoniotti
Removed EXPORT of APPLY-SUBSTITUTION as it is already in ...
commit
|
commitdiff
09 Nov 2007 13:56
mantoniotti
Changed the position of the disclaimer.
commit
|
commitdiff
09 Nov 2007 13:47
mantoniotti
ChangeLog updated.
commit
|
commitdiff
09 Nov 2007 13:43
mantoniotti
Made several changes to improve MATCH-CASE (following a ...
commit
|
commitdiff
09 Nov 2007 13:35
mantoniotti
Changed the top comment and added a (:copier nil) option ...
commit
|
commitdiff
09 Nov 2007 13:34
mantoniotti
Added the new system building files with more meaningful ...
commit
|
commitdiff
09 Nov 2007 13:30
mantoniotti
Marked the two system building files as 'obsolete', befo ...
commit
|
commitdiff
21 May 2007 17:12
mantoniotti
ChangeLog updated.
commit
|
commitdiff
21 May 2007 17:11
mantoniotti
Updated copyrights dates and changed a few instructions ...
commit
|
commitdiff
21 May 2007 17:10
mantoniotti
Updated copyrights dates.
commit
|
commitdiff
21 May 2007 16:55
mantoniotti
ChangeLog updated.
commit
|
commitdiff
21 May 2007 12:33
mantoniotti
See previous message.
commit
|
commitdiff
21 May 2007 12:29
mantoniotti
Added file 'apply-substitition.lisp' with a few new func ...
commit
|
commitdiff
19 Jul 2006 21:52
mantoniotti
Fixed two problems with the unifier machinery.
commit
|
commitdiff
19 Jul 2006 20:28
mantoniotti
Added missing export.
commit
|
commitdiff
25 Oct 2005 19:17
mantoniotti
Fixed problem with the unification of a list with a
commit
|
commitdiff
25 Oct 2005 19:08
mantoniotti
Fixed problem with checking the presence of T and OTHERW ...
commit
|
commitdiff
25 Jul 2005 15:15
mantoniotti
Minor cleanup.
commit
|
commitdiff
20 May 2005 16:41
mantoniotti
Fixed typos.
commit
|
commitdiff
20 May 2005 16:38
mantoniotti
Fixed bug in documentation.
commit
|
commitdiff
20 May 2005 16:33
mantoniotti
Page updated.
commit
|
commitdiff
20 May 2005 16:27
mantoniotti
Incremental change to page.
commit
|
commitdiff
20 May 2005 16:18
mantoniotti
Fixed a documentation bug.
commit
|
commitdiff
20 May 2005 15:47
mantoniotti
Added link to "Mailing Lists" page.
commit
|
commitdiff
20 May 2005 15:19
mantoniotti
Fixed two major bugs reported by Norman Werver. Unifica ...
commit
|
commitdiff
19 May 2005 23:00
mantoniotti
Year updated.
commit
|
commitdiff
19 May 2005 22:58
mantoniotti
File added.
commit
|
commitdiff
...