|
...
|
| 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
|
| 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
|