darcs - cl-unification

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

There once was a man from Nantucket…

RSS