repos
/
cl-unification
/ shortlog
summary
|
shortlog
|
log
|
tree
shortlog
...
19 May 2005 22:54
mantoniotti
ChangeLog updated.
commit
|
commitdiff
19 May 2005 22:52
mantoniotti
Updated copyright notice.
commit
|
commitdiff
19 May 2005 22:49
mantoniotti
Changed the DISCLAIMER parts in the files, in order to c ...
commit
|
commitdiff
27 Apr 2005 21:04
mantoniotti
Fixed factorial example.
commit
|
commitdiff
27 Apr 2005 21:04
mantoniotti
Added IGNORABLE declaration to MATCH macro expansion.
commit
|
commitdiff
27 Apr 2005 20:54
mantoniotti
Added acknowledgement to Peter Scott.
commit
|
commitdiff
27 Apr 2005 20:52
mantoniotti
Fixed bug in condition signaling within MATCH-CASE.
commit
|
commitdiff
27 Apr 2005 20:44
mantoniotti
Fixed bugs in COLLECT-TEMPLATE-VARS for NUMBER-TEMPLATEs.
commit
|
commitdiff
27 Apr 2005 20:41
mantoniotti
Added MATCH-CASE macro. Slightly modified from the vers ...
commit
|
commitdiff
27 Apr 2005 19:31
mantoniotti
Added unification.asd file.
commit
|
commitdiff
21 Apr 2005 15:33
mantoniotti
Fixed, but not completed, the page.
commit
|
commitdiff
28 Jan 2005 19:46
mantoniotti
Added file `downloads.html'.
commit
|
commitdiff
28 Jan 2005 19:45
mantoniotti
Minor changes to text. Fixed `download.html' link.
commit
|
commitdiff
28 Jan 2005 19:30
mantoniotti
Fixed minor problem in Lambda List parsing.
commit
|
commitdiff
17 Nov 2004 22:19
mantoniotti
Initial revision
commit
|
commitdiff