insignificant changesV5.5.22V5.5.23
treed0bc9baca55fe5650bb63f0320623c2ddc580e66
-rw-r--r-- 110 .cvsignore
-rw-r--r-- 1367 .fileheader
drwxr-xr-x - Benchmarks
-rw-r--r-- 5228 Changelog
drwxr-xr-x - Examples
-rw-r--r-- 3825 Makefile.in
-rw-r--r-- 3202 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-- 9567 chr_compiler_options.pl
-rw-r--r-- 6416 chr_compiler_utility.pl
-rw-r--r-- 1949 chr_debug.pl
-rw-r--r-- 4517 chr_hashtable_store.pl
-rw-r--r-- 3954 chr_messages.pl
-rw-r--r-- 1858 chr_op.pl
-rw-r--r-- 1909 chr_op2.pl
-rw-r--r-- 20144 chr_runtime.pl
-rw-r--r-- 7389 chr_swi.pl
-rw-r--r-- 4812 chr_swi_bootstrap.pl
-rw-r--r-- 3460 chr_test.pl
-rw-r--r-- 157065 chr_translate.chr
-rw-r--r-- 78630 chr_translate_bootstrap.pl
-rw-r--r-- 84917 chr_translate_bootstrap1.chr
-rw-r--r-- 108988 chr_translate_bootstrap2.chr
-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-- 2149 find.pl
-rw-r--r-- 15254 guard_entailment.chr
-rw-r--r-- 4421 hprolog.pl
-rwxr-xr-x 4771 install-sh
-rw-r--r-- 2557 listmap.pl
-rw-r--r-- 1815 pairlist.pl