* make CHR load its private stuff silently
tree83c394008620d28ffcc90bae06c6a50e009b9799
-rw-r--r-- 158 .cvsignore
-rw-r--r-- 1367 .fileheader
drwxr-xr-x - Benchmarks
-rw-r--r-- 13975 Changelog
drwxr-xr-x - Examples
-rw-r--r-- 3890 Makefile.in
-rw-r--r-- 3311 Makefile.mak
-rw-r--r-- 1289 README
drwxr-xr-x - Tests
-rw-r--r-- 1551 a_star.pl
-rw-r--r-- 2125 binomialheap.pl
-rw-r--r-- 3342 builtins.pl
-rw-r--r-- 5634 chr_compiler_errors.pl
-rw-r--r-- 9891 chr_compiler_options.pl
-rw-r--r-- 6862 chr_compiler_utility.pl
-rw-r--r-- 2021 chr_debug.pl
-rw-r--r-- 5428 chr_hashtable_store.pl
-rw-r--r-- 3605 chr_integertable_store.pl
-rw-r--r-- 3968 chr_messages.pl
-rw-r--r-- 1888 chr_op.pl
-rw-r--r-- 1917 chr_op2.pl
-rw-r--r-- 23187 chr_runtime.pl
-rw-r--r-- 8835 chr_swi.pl
-rw-r--r-- 5973 chr_swi_bootstrap.pl
-rw-r--r-- 4513 chr_test.pl
-rw-r--r-- 207163 chr_translate.chr
-rw-r--r-- 79181 chr_translate_bootstrap.pl
-rw-r--r-- 85351 chr_translate_bootstrap1.chr
-rw-r--r-- 111023 chr_translate_bootstrap2.chr
-rw-r--r-- 3940 clean_code.pl
-rw-r--r-- 471 config.h.in
-rwxr-xr-x 78955 configure
-rw-r--r-- 722 configure.in
-rw-r--r-- 2146 find.pl
-rw-r--r-- 15025 guard_entailment.chr
-rw-r--r-- 5091 hprolog.pl
-rwxr-xr-x 4771 install-sh
-rw-r--r-- 2554 listmap.pl
-rw-r--r-- 1965 pairlist.pl