This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Vitor Santos Costa 86d08b42c4 Ulrich Neumerkel: add a docs/dir directory for people who want to use info there.		2009-05-02 10:56:32 -05:00
..
index	Updated to Working CHR	2008-08-26 00:18:06 +01:00
chr.tex	add docs on tries	2007-09-16 20:27:57 +00:00
clpr.tex	fixed typo	2007-04-07 08:34:48 +00:00
dir	Ulrich Neumerkel: add a docs/dir directory for people who want to use info there.	2009-05-02 10:56:32 -05:00
swi.tex	Ulrich's fixes to documentation.	2009-04-25 10:59:23 -05:00
yap.tex	Ulrich's fixes to documentation.	2009-04-25 10:59:23 -05:00