total 57
-rw-r--r--  1 chik         5248 Dec 17  1993 COPYRIGHT
-rw-r--r--  1 chik         3794 Dec 17  1993 COPYRIGHT.j
-rwxr-xr-x  1 chik        16770 Jun 16 17:02 Configure*
-rw-r--r--  1 chik         3655 May 26 10:30 INSTALL
-rw-r--r--  1 chik          906 Apr 28 20:47 INSTALL.j
-rw-r--r--  1 chik            0 Jun 20 17:33 MANIFEST
-rw-r--r--  1 chik         3527 Jun 17 09:23 Makefile.tail
-rw-r--r--  1 chik         3815 May 26 11:28 README
-rw-r--r--  1 chik         4321 Apr 28 20:53 README.j
drwxr-xr-x  2 chik         1536 Jun 20 17:32 compiler/
drwxr-xr-x  2 chik          512 Jun 20 11:20 documents/
drwxr-xr-x  3 chik          512 Jun  2 09:46 include/
drwxr-xr-x  2 chik         3584 Jun 20 17:32 runtime/
drwxr-xr-x  2 chik         3072 Jun 20 17:33 test/
-rw-r--r--  1 chik          643 Jun 13 11:56 testprefix.c

compiler:
total 1598
-rw-r--r--  1 chik         3623 Jun 18 11:08 Makefile
-rw-r--r--  1 chik         5940 Jun 20 11:25 atom.c
-rw-r--r--  1 chik        20779 Jun 20 11:25 atom.h
-rw-r--r--  1 chik        10282 Jun 20 11:18 bb.c
-rw-r--r--  1 chik          649 Jun 20 11:18 bb.ext
-rw-r--r--  1 chik         2398 Mar 25 15:01 bb.kl1
-rw-r--r--  1 chik        12261 Jun 20 11:18 cmputil.c
-rw-r--r--  1 chik          412 Jun 20 11:18 cmputil.ext
-rw-r--r--  1 chik         2605 Jun 19 09:14 cmputil.kl1
-rw-r--r--  1 chik        11944 Jun 20 11:19 extern.c
-rw-r--r--  1 chik          456 Jun 20 11:19 extern.ext
-rw-r--r--  1 chik         1564 Jun 13 17:55 extern.kl1
-rw-r--r--  1 chik        10560 Jun 20 11:25 funct.c
-rw-r--r--  1 chik        19080 Jun 20 11:25 funct.h
-rw-r--r--  1 chik        31508 Jun 20 11:18 gb.c
-rw-r--r--  1 chik         1719 Jun 20 11:18 gb.ext
-rw-r--r--  1 chik         4431 May 13 16:49 gb.kl1
-rw-r--r--  1 chik       278273 Jun 20 11:19 generate.c
-rw-r--r--  1 chik         6657 Jun 20 11:19 generate.ext
-rw-r--r--  1 chik        35873 Jun 15 19:01 generate.kl1
-rw-r--r--  1 chik        58441 Jun 20 11:19 insert.c
-rw-r--r--  1 chik         1569 Jun 20 11:19 insert.ext
-rw-r--r--  1 chik        11071 Jun 15 16:22 insert.kl1
-rw-r--r--  1 chik       104306 Jun 20 11:19 kl1cmp.c
-rw-r--r--  1 chik         3180 Jun 20 11:19 kl1cmp.ext
-rw-r--r--  1 chik        17502 Jun 19 10:29 kl1cmp.kl1
-rw-r--r--  1 chik        13136 Jun 10 10:50 klic.c
-rw-r--r--  1 chik          331 Apr 25 12:44 klic.h
-rw-r--r--  1 chik        11639 Jun 10 10:36 klicdb.c
-rw-r--r--  1 chik        18272 Jun 20 11:23 klicdb.init
-rw-r--r--  1 chik       184300 Jun 20 11:19 macro.c
-rw-r--r--  1 chik         5192 Jun 20 11:19 macro.ext
-rw-r--r--  1 chik        25155 Jun 19 00:35 macro.kl1
-rw-r--r--  1 chik         3314 Jun 20 11:19 main.c
-rw-r--r--  1 chik           73 Jun 20 11:19 main.ext
-rw-r--r--  1 chik          563 Jun 19 10:30 main.kl1
-rw-r--r--  1 chik       221339 Jun 20 11:18 normalize.c
-rw-r--r--  1 chik         5905 Jun 20 11:18 normalize.ext
-rw-r--r--  1 chik        29748 Jun 15 18:50 normalize.kl1
-rw-r--r--  1 chik       118786 Jun 20 11:19 obj.c
-rw-r--r--  1 chik         3263 Jun 20 11:19 obj.ext
-rw-r--r--  1 chik        17659 Jun 19 21:44 obj.kl1
-rw-r--r--  1 chik        36209 Jun 20 11:25 predicates.c
-rw-r--r--  1 chik          643 May  2 10:38 testprefix.c
-rw-r--r--  1 chik        39607 Jun 20 11:19 util.c
-rw-r--r--  1 chik         1420 Jun 20 11:19 util.ext
-rw-r--r--  1 chik         4768 Jun 19 20:53 util.kl1
-rw-r--r--  1 chik         1527 Jun 20 11:18 version.c
-rw-r--r--  1 chik          197 Jun 20 11:18 version.ext
-rw-r--r--  1 chik          138 Jun 20 11:18 version.kl1
-rw-r--r--  1 chik          116 Jun 14 17:16 version.kl1.tmplt
-rw-r--r--  1 chik       118178 Jun 20 11:19 write.c
-rw-r--r--  1 chik         2425 Jun 20 11:19 write.ext
-rw-r--r--  1 chik        14975 Jun 18 23:21 write.kl1

documents:
total 516
-rw-r--r--  1 chik       124346 Jun 20 11:19 KLIC.info
-rw-r--r--  1 chik          358 May 10 17:15 Makefile
-rw-r--r--  1 chik         2552 May 10 17:05 klic.1
-rw-r--r--  1 chik       244704 Jun 20 11:19 klic.dvi
-rw-r--r--  1 chik       116036 May 27 13:56 klic.tex

include:
total 2
-rw-r--r--  1 chik          935 Jun  1 16:53 Makefile
drwxr-xr-x  2 chik         1024 Jun 20 17:32 klic/

include/klic:
total 113
-rw-r--r--  1 chik          577 Mar 22 16:07 alloc.h
-rw-r--r--  1 chik          453 May 12 11:11 atomstuffs.h
-rw-r--r--  1 chik          668 Apr 27 10:59 basic.h
-rw-r--r--  1 chik        11173 Jan 31 17:18 bb.h
-rw-r--r--  1 chik         1532 May 26 16:07 control.h
-rw-r--r--  1 chik          475 Dec 21  1993 functorstuffs.h
-rw-r--r--  1 chik         2933 Jun 16 16:09 g_basic.h
-rw-r--r--  1 chik          352 Jan 26 19:10 g_extern.h
-rw-r--r--  1 chik          194 Dec 21  1993 g_extern_inline.h
-rw-r--r--  1 chik          564 Jun  1 18:27 g_float.h
-rw-r--r--  1 chik         2954 Jun  2 10:08 g_method_table.h
-rw-r--r--  1 chik          339 May 26 15:34 g_pointer.h
-rw-r--r--  1 chik         1110 May 27 12:24 g_string.h
-rw-r--r--  1 chik          361 Jan 12 17:51 g_termarray.h
-rw-r--r--  1 chik         1012 May 27 12:25 g_vector.h
-rw-r--r--  1 chik         5459 Jun 17 11:27 gb.h
-rw-r--r--  1 chik        12510 Jun 17 09:55 gc_macro.h
-rw-r--r--  1 chik          942 May 24 18:08 gc_method_table.h
-rw-r--r--  1 chik          288 Dec 21  1993 gcobject.h
-rw-r--r--  1 chik        12914 May 24 09:53 gd_macro.h
-rw-r--r--  1 chik         1120 May 24 18:09 gd_method_table.h
-rw-r--r--  1 chik          288 Dec 21  1993 gdobject.h
-rw-r--r--  1 chik         1096 Feb  3 14:25 generic.h
-rw-r--r--  1 chik         7614 May 12 12:25 gg_macro.h
-rw-r--r--  1 chik         1027 May 24 18:09 gg_method_table.h
-rw-r--r--  1 chik         1181 Jun 13 21:58 gmodule.h
-rw-r--r--  1 chik         2385 Jun  2 10:02 gobj.h
-rw-r--r--  1 chik         1186 Jan 26 17:38 gobjutil.h
-rw-r--r--  1 chik         1118 Dec 21  1993 index.h
-rw-r--r--  1 chik          541 Jun 13 18:22 klichdr.h
-rw-r--r--  1 chik         1236 May 12 11:11 newatom.h
-rw-r--r--  1 chik         1014 Feb 25 16:49 param.h
-rw-r--r--  1 chik          291 Dec 21  1993 primitives.h
-rw-r--r--  1 chik          425 May 26 15:39 schedule.h
-rw-r--r--  1 chik          613 Mar 25 14:51 sighndl.h
-rw-r--r--  1 chik         9287 Jun 15 13:31 struct.h
-rw-r--r--  1 chik         3278 Mar 30 16:35 susp.h
-rw-r--r--  1 chik          848 Apr 14 10:10 timing.h
-rw-r--r--  1 chik           98 Dec 21  1993 trace.h
-rw-r--r--  1 chik          652 Jan 27 13:20 unify.h

runtime:
total 1017
-rw-r--r--  1 chik        22742 Jun 16 16:52 Makefile
-rw-r--r--  1 chik         2383 Jun 15 13:31 alloc.c
-rw-r--r--  1 chik         2763 May 26 15:25 asyncio.c
-rw-r--r--  1 chik         2454 Jun 20 11:23 atom.c
-rw-r--r--  1 chik         9672 Jun 20 11:23 atom.h
-rw-r--r--  1 chik        11700 Jun 20 11:18 atomt.c
-rw-r--r--  1 chik          393 Jun 20 11:18 atomt.ext
-rw-r--r--  1 chik         1625 May 26 11:56 atomt.kl1
-rw-r--r--  1 chik         1062 Jun 20 11:18 bag.c
-rw-r--r--  1 chik           35 Jun 20 11:18 bag.ext
-rw-r--r--  1 chik          304 Jun 15 18:11 bag.kl1
-rw-r--r--  1 chik         2165 Jun 20 11:18 bagk.c
-rw-r--r--  1 chik          111 Jun 20 11:18 bagk.ext
-rw-r--r--  1 chik          439 Jun 15 18:11 bagk.kl1
-rw-r--r--  1 chik        30291 Jun 20 11:18 bagks.c
-rw-r--r--  1 chik         1196 Jun 20 11:18 bagks.ext
-rw-r--r--  1 chik         3357 Jun 15 18:11 bagks.kl1
-rw-r--r--  1 chik        23306 Jun 20 11:18 bags.c
-rw-r--r--  1 chik          841 Jun 20 11:18 bags.ext
-rw-r--r--  1 chik         2510 Jun 15 18:11 bags.kl1
-rw-r--r--  1 chik         5484 May  4 10:31 bb.c
-rw-r--r--  1 chik         4802 Jun 20 11:18 bodyblt.c
-rw-r--r--  1 chik          197 Jun 20 11:18 bodyblt.ext
-rw-r--r--  1 chik         2413 Jun 14 17:25 bodyblt.kl1
-rw-r--r--  1 chik        22478 Jun 20 11:18 compare.c
-rw-r--r--  1 chik          698 Jun 20 11:18 compare.ext
-rw-r--r--  1 chik         2637 May 27 17:13 compare.kl1
-rw-r--r--  1 chik         1110 May 27 11:29 debug.c
-rw-r--r--  1 chik         2304 May 24 18:09 export.c
-rw-r--r--  1 chik         6128 Jun 17 10:12 failsusp.c
-rw-r--r--  1 chik         4032 Jun 20 11:23 funct.c
-rw-r--r--  1 chik         6938 Jun 20 11:23 funct.h
-rw-r--r--  1 chik        12744 Jun 20 11:18 functt.c
-rw-r--r--  1 chik          381 Jun 20 11:18 functt.ext
-rw-r--r--  1 chik         1861 May  7 10:21 functt.kl1
-rw-r--r--  1 chik        12814 Jun 17 21:16 gc.c
-rw-r--r--  1 chik         1916 Jun 20 11:18 gcmerge.c
-rw-r--r--  1 chik           57 Jun 20 11:18 gcmerge.ext
-rw-r--r--  1 chik          443 Jan 13 14:04 gcmerge.kl1
-rw-r--r--  1 chik         6229 Jun 13 22:52 gcode.c
-rw-r--r--  1 chik         1613 May 12 13:42 gcoding.c
-rw-r--r--  1 chik         2669 Jun 20 11:18 gen.c
-rw-r--r--  1 chik           69 Jun 20 11:18 gen.ext
-rw-r--r--  1 chik         1019 Jun 15 18:28 gen.kl1
-rw-r--r--  1 chik         5683 May 27 15:22 generic.c
-rw-r--r--  1 chik         6323 Jun  2 11:23 gfloat.c
-rw-r--r--  1 chik         5727 Jun 17 10:30 gio.c
-rw-r--r--  1 chik         3909 May 24 18:12 gmerge.c
-rw-r--r--  1 chik         3576 May 24 18:13 gmodule.c
-rw-r--r--  1 chik         9308 Jun 18 23:15 gmvv.c
-rw-r--r--  1 chik         1517 May 26 15:34 gpointer.c
-rw-r--r--  1 chik        13636 Jun 19 00:55 gstring.c
-rw-r--r--  1 chik         1832 May 24 18:17 gtermarray.c
-rw-r--r--  1 chik        84054 Jun 20 11:18 gunix.c
-rw-r--r--  1 chik         2143 Jun 20 11:18 gunix.ext
-rw-r--r--  1 chik        24093 Jun  2 10:17 gunix.kl1
-rw-r--r--  1 chik        10654 Jun 20 11:18 intarith.c
-rw-r--r--  1 chik          574 Jun 20 11:18 intarith.ext
-rw-r--r--  1 chik          464 Dec 27 17:51 intarith.kl1
-rw-r--r--  1 chik         1930 Jun 16 16:09 intrpt.c
-rw-r--r--  1 chik        16371 Jun 20 11:18 io.c
-rw-r--r--  1 chik          474 Jun 20 11:18 io.ext
-rw-r--r--  1 chik         3454 Jun  2 10:06 io.kl1
-rw-r--r--  1 chik        18272 Jun 20 11:23 klic.db
-rw-r--r--  1 chik          905 Jun 20 11:25 klicdb.all
-rw-r--r--  1 chik           10 Jun 20 11:18 klicdb.atoms
-rw-r--r--  1 chik          895 Jun 20 11:18 klicdb.fncts
-rw-r--r--  1 chik          905 Jun 20 11:18 klicdb.init
-rw-r--r--  1 chik         6705 Jun  7 11:51 main.c
-rw-r--r--  1 chik         9072 May 26 15:36 newatom.c
-rw-r--r--  1 chik        87803 Jun 20 11:18 parse.c
-rw-r--r--  1 chik         2682 Jun 20 11:18 parse.ext
-rw-r--r--  1 chik        10525 Jun 16 12:03 parse.kl1
-rw-r--r--  1 chik        14307 Jun 20 11:23 predicates.c
-rw-r--r--  1 chik         3659 Jun  2 10:03 print.c
-rw-r--r--  1 chik         1225 May 27 13:38 progfile.c
-rw-r--r--  1 chik         8457 Jun 20 11:18 queue.c
-rw-r--r--  1 chik          282 Jun 20 11:18 queue.ext
-rw-r--r--  1 chik         1186 May 27 13:15 queue.kl1
-rw-r--r--  1 chik        25855 Jun 20 11:18 read.c
-rw-r--r--  1 chik          958 Jun 20 11:18 read.ext
-rw-r--r--  1 chik         2853 Jun 17 10:05 read.kl1
-rw-r--r--  1 chik        73693 Jun 20 11:18 scan.c
-rw-r--r--  1 chik         1620 Jun 20 11:18 scan.ext
-rw-r--r--  1 chik         9485 Jun 19 20:58 scan.kl1
-rw-r--r--  1 chik         6331 May 26 16:13 schedule.c
-rw-r--r--  1 chik         2165 Jun 20 11:18 setk.c
-rw-r--r--  1 chik          111 Jun 20 11:18 setk.ext
-rw-r--r--  1 chik          439 Jun 15 18:11 setk.kl1
-rw-r--r--  1 chik        21974 Jun 20 11:18 setks.c
-rw-r--r--  1 chik          914 Jun 20 11:18 setks.ext
-rw-r--r--  1 chik         2640 Jun 15 18:11 setks.kl1
-rw-r--r--  1 chik         3977 Jun  2 09:54 signal.c
-rw-r--r--  1 chik        40919 Jun 20 11:18 splay.c
-rw-r--r--  1 chik         1170 Jun 20 11:18 splay.ext
-rw-r--r--  1 chik         4270 Jun 19 00:56 splay.kl1
-rw-r--r--  1 chik         5381 Jun 20 11:18 stack.c
-rw-r--r--  1 chik          229 Jun 20 11:18 stack.ext
-rw-r--r--  1 chik          824 Apr 18 15:40 stack.kl1
-rw-r--r--  1 chik         5016 Jun 20 11:18 sysc.c
-rw-r--r--  1 chik          221 Jun 20 11:18 sysc.ext
-rw-r--r--  1 chik         1553 Jun 16 16:07 sysc.kl1
-rw-r--r--  1 chik        62233 Jun 20 11:18 termio.c
-rw-r--r--  1 chik         1880 Jun 20 11:18 termio.ext
-rw-r--r--  1 chik         7269 Jun 13 16:50 termio.kl1
-rw-r--r--  1 chik          489 Apr 14 11:55 timing.c
-rw-r--r--  1 chik        36197 Jun 10 09:56 trace.c
-rw-r--r--  1 chik        10491 Jun 19 11:14 unify.c
-rw-r--r--  1 chik         2020 Jun 17 11:16 unify2.c
-rw-r--r--  1 chik         4422 Jun 20 11:18 unify_terms.c
-rw-r--r--  1 chik          194 Jun 20 11:18 unify_terms.ext
-rw-r--r--  1 chik          864 Jun 19 11:39 unify_terms.kl1
-rw-r--r--  1 chik        37630 Jun 20 11:18 unparse.c
-rw-r--r--  1 chik          823 Jun 20 11:18 unparse.ext
-rw-r--r--  1 chik         4186 Jun 17 10:44 unparse.kl1
-rw-r--r--  1 chik        10594 Jun 20 11:18 var.c
-rw-r--r--  1 chik          394 Jun 20 11:18 var.ext
-rw-r--r--  1 chik          999 Jun 18 23:16 var.kl1
-rw-r--r--  1 chik           86 Jun 20 11:18 version.c
-rw-r--r--  1 chik           64 Jun 14 17:16 version.c.tmplt
-rw-r--r--  1 chik         1245 May 24 18:18 wakeup.c

test:
total 74
-rw-r--r--  1 chik         2403 Jun 11 08:00 Makefile
-rw-r--r--  1 chik          852 Dec 21  1993 deriv.kl1
-rw-r--r--  1 chik         1306 Dec 21  1993 deriv.out.cmp
-rw-r--r--  1 chik          171 Dec 21  1993 fact.kl1
-rw-r--r--  1 chik            9 Dec 21  1993 fact.out.cmp
-rw-r--r--  1 chik         1029 Dec 21  1993 hanoi.kl1
-rw-r--r--  1 chik            5 Dec 21  1993 hanoi.out.cmp
-rw-r--r--  1 chik          266 Dec 21  1993 iotest.kl1
-rw-r--r--  1 chik          266 Dec 21  1993 iotest.out.cmp
-rw-r--r--  1 chik         1353 Dec 21  1993 kkqueen.kl1
-rw-r--r--  1 chik            4 Dec 21  1993 kkqueen.out.cmp
-rw-r--r--  1 chik         6944 Dec 21  1993 life.kl1
-rw-r--r--  1 chik            4 Dec 21  1993 life.out.cmp
-rw-r--r--  1 chik         3320 Dec 21  1993 mastermind.kl1
-rw-r--r--  1 chik            4 Dec 21  1993 mastermind.out.cmp
-rw-r--r--  1 chik          463 Jan  4 11:27 merge.kl1
-rw-r--r--  1 chik            0 Jan  4 11:28 merge.out.cmp
-rw-r--r--  1 chik          856 May 12 13:54 parsetest.kl1
-rw-r--r--  1 chik            0 May  2 19:26 parsetest.out.cmp
-rw-r--r--  1 chik         1753 Dec 21  1993 pascal.kl1
-rw-r--r--  1 chik         2768 Dec 21  1993 pascal.out.cmp
-rw-r--r--  1 chik          257 Dec 21  1993 pp.kl1
-rw-r--r--  1 chik            0 Dec 21  1993 pp.out.cmp
-rw-r--r--  1 chik          695 Dec 21  1993 primes.kl1
-rw-r--r--  1 chik            5 Dec 21  1993 primes.out.cmp
-rw-r--r--  1 chik          709 Dec 21  1993 primesp.kl1
-rw-r--r--  1 chik            4 Dec 21  1993 primesp.out.cmp
-rw-r--r--  1 chik          295 Dec 21  1993 prio.kl1
-rw-r--r--  1 chik           20 Dec 21  1993 prio.out.cmp
-rw-r--r--  1 chik         9660 Dec 21  1993 puzzle.kl1
-rw-r--r--  1 chik            3 Dec 21  1993 puzzle.out.cmp
-rw-r--r--  1 chik         1622 Dec 21  1993 qlay.kl1
-rw-r--r--  1 chik            3 Dec 21  1993 qlay.out.cmp
-rw-r--r--  1 chik          657 Dec 21  1993 qsort.kl1
-rw-r--r--  1 chik          146 Dec 21  1993 qsort.out.cmp
-rw-r--r--  1 chik         3369 Dec 21  1993 turtles.kl1
-rw-r--r--  1 chik          298 Dec 21  1993 turtles.out.cmp
-rw-r--r--  1 chik          366 Dec 21  1993 vecstr.kl1
-rw-r--r--  1 chik           14 Dec 24 13:15 vecstr.out.cmp
-rw-r--r--  1 chik         7394 Dec 21  1993 wave.kl1
-rw-r--r--  1 chik            0 Dec 21  1993 wave.out.cmp
