* Generated files
tree7e8dc7bdd72cd2147db261f8a8237de0d78d9835
-rw-r--r-- 82 .cvsignore
-rw-r--r-- 1367 .fileheader
drwxr-xr-x - Benchmarks
-rw-r--r-- 3484 Changelog
drwxr-xr-x - Examples
-rw-r--r-- 3666 Makefile.in
-rw-r--r-- 2310 Makefile.mak
-rw-r--r-- 1289 README
drwxr-xr-x - Tests
-rw-r--r-- 1500 a_star.pl
-rw-r--r-- 2116 binomialheap.pl
-rw-r--r-- 3248 builtins.pl
-rw-r--r-- 1765 chr_debug.pl
-rw-r--r-- 3900 chr_hashtable_store.pl
-rw-r--r-- 3954 chr_messages.pl
-rw-r--r-- 1924 chr_op.pl
-rw-r--r-- 1978 chr_op2.pl
-rw-r--r-- 20144 chr_runtime.pl
-rw-r--r-- 7279 chr_swi.pl
-rw-r--r-- 4812 chr_swi_bootstrap.pl
-rw-r--r-- 3460 chr_test.pl
-rw-r--r-- 170400 chr_translate.chr
-rw-r--r-- 78630 chr_translate_bootstrap.pl
-rw-r--r-- 84917 chr_translate_bootstrap1.chr
-rw-r--r-- 108829 chr_translate_bootstrap2.chr
-rw-r--r-- 101044 chr_translate_bootstrap2.pl
-rw-r--r-- 3857 clean_code.pl
-rw-r--r-- 471 config.h.in
-rwxr-xr-x 78955 configure
-rw-r--r-- 722 configure.in
-rw-r--r-- 985 find.pl
-rw-r--r-- 15254 guard_entailment.chr
-rw-r--r-- 66552 guard_entailment.pl
-rw-r--r-- 3871 hprolog.pl
-rwxr-xr-x 4771 install-sh
-rw-r--r-- 1190 listmap.pl
-rw-r--r-- 1815 pairlist.pl