rwxr-x--- 19332/29102 0 Nov 5 12:39 1993 pm/ r--r----- 19332/29102 7090 Nov 5 12:39 1993 pm/Makefile rwxr-x--- 19332/29102 0 Nov 5 12:39 1993 pm/c/ rw-r----- 19332/29102 33996 Nov 5 12:39 1993 pm/c/incl.c rw-r----- 19332/29102 10507 Nov 5 12:39 1993 pm/c/synS.c rw-r----- 19332/29102 12384 Nov 5 12:39 1993 pm/c/normS.c rw-r----- 19332/29102 8442 Nov 5 12:39 1993 pm/c/modeS.c rw-r----- 19332/29102 78311 Nov 5 12:39 1993 pm/c/typedS.c rw-r----- 19332/29102 10094 Nov 5 12:39 1993 pm/c/lex.c rw-r----- 19332/29102 50091 Nov 5 12:39 1993 pm/c/dyn.c rw-r----- 19332/29102 102353 Nov 5 12:39 1993 pm/c/error.c rw-r----- 19332/29102 94172 Nov 5 12:39 1993 pm/c/io.c rw-r----- 19332/29102 114162 Nov 5 12:39 1993 pm/c/syn.c rw-r----- 19332/29102 119895 Nov 5 12:39 1993 pm/c/tokens.c rw-r----- 19332/29102 171033 Nov 5 12:39 1993 pm/c/rewrite_goals.c rw-r----- 19332/29102 108636 Nov 5 12:39 1993 pm/c/norm.c rw-r----- 19332/29102 73857 Nov 5 12:39 1993 pm/c/exp_dcg.c rw-r----- 19332/29102 183797 Nov 5 12:39 1993 pm/c/decl.c rw-r----- 19332/29102 88078 Nov 5 12:39 1993 pm/c/typing.c rw-r----- 19332/29102 46905 Nov 5 12:39 1993 pm/c/registers.c rw-r----- 19332/29102 85404 Nov 5 12:39 1993 pm/c/gen_type.c rw-r----- 19332/29102 181628 Nov 5 12:39 1993 pm/c/unif.c rw-r----- 19332/29102 182088 Nov 5 12:39 1993 pm/c/gen_body.c rw-r----- 19332/29102 81014 Nov 5 12:39 1993 pm/c/gen.c rw-r----- 19332/29102 65812 Nov 5 12:39 1993 pm/c/clause.c rw-r----- 19332/29102 47410 Nov 5 12:39 1993 pm/c/translate.c rw-r----- 19332/29102 6408 Nov 5 12:39 1993 pm/c/init.c rw-r----- 19332/29102 55659 Nov 5 12:39 1993 pm/c/pmc1.c rw-r----- 19332/29102 103932 Nov 5 12:39 1993 pm/c/pmc.c rw-r----- 19332/29102 29647 Nov 5 12:39 1993 pm/c/pmld.c rw-r----- 19332/29102 93343 Nov 5 12:39 1993 pm/c/std.c rw-r----- 19332/29102 66185 Nov 5 12:39 1993 pm/c/stdio.c rw-r----- 19332/29102 26382 Nov 5 12:39 1993 pm/c/arith.c rw-r----- 19332/29102 45588 Nov 5 12:39 1993 pm/c/lists.c rw-r----- 19332/29102 17800 Nov 5 12:39 1993 pm/c/btree.c rw-r----- 19332/29102 15408 Nov 5 12:39 1993 pm/c/unix.c rw-r----- 19332/29102 298142 Nov 5 12:39 1993 pm/c/read.c rw-r----- 19332/29102 8099 Nov 5 12:39 1993 pm/c/errmess.c rw-r----- 19332/29102 35091 Nov 5 12:39 1993 pm/c/dcg.c rw-r----- 19332/29102 38615 Nov 5 12:39 1993 pm/c/allsol.c r--r----- 19332/29102 13350 Nov 5 12:39 1993 pm/c/compare.c r--r----- 19332/29102 24413 Nov 5 12:39 1993 pm/c/save.c r--r----- 19332/29102 1986 Nov 5 12:39 1993 pm/c/debug2.h r--r----- 19332/29102 2294 Nov 5 12:39 1993 pm/c/interf.h r--r----- 19332/29102 2991 Nov 5 12:39 1993 pm/c/interface.h r--r----- 19332/29102 46381 Nov 5 12:39 1993 pm/c/term.c r--r----- 19332/29102 51368 Nov 5 12:39 1993 pm/c/unif1.c r--r----- 19332/29102 25251 Nov 5 12:39 1993 pm/c/match.c r--r----- 19332/29102 16680 Nov 5 12:39 1993 pm/c/unifh.c r--r----- 19332/29102 40619 Nov 5 12:39 1993 pm/c/reduce.c r--r----- 19332/29102 20693 Nov 5 12:39 1993 pm/c/control.c r--r----- 19332/29102 10103 Nov 5 12:39 1993 pm/c/main.c r--r----- 19332/29102 7369 Nov 5 12:39 1993 pm/c/profiler.c r--r----- 19332/29102 22382 Nov 5 12:39 1993 pm/c/print.c r--r----- 19332/29102 39650 Nov 5 12:39 1993 pm/c/debug2.c r--r----- 19332/29102 11990 Nov 5 12:39 1993 pm/c/interf.lex rw-r----- 19332/29102 35042 Nov 5 12:39 1993 pm/c/lex.yy.c r--r----- 19332/29102 32494 Nov 5 12:39 1993 pm/c/sprint.c r--r----- 19332/29102 2001 Nov 5 12:39 1993 pm/c/table.c r--r----- 19332/29102 2027 Nov 5 12:39 1993 pm/c/nodebug.c r--r----- 19332/29102 22894 Nov 5 12:39 1993 pm/c/interf.c r--r----- 19332/29102 2628 Nov 5 12:39 1993 pm/c/nointerf.c rwxr-x--- 19332/29102 0 Nov 5 12:39 1993 pm/bin/ rwxr-x--- 19332/29102 3457 Nov 5 12:39 1993 pm/bin/make_table rwxr-x--- 19332/29102 1738 Nov 5 12:39 1993 pm/bin/debugged rwxr-x--- 19332/29102 3062 Nov 5 12:39 1993 pm/bin/select_libs rwxr-x--- 19332/29102 0 Nov 5 12:39 1993 pm/lib/ rw-r----- 19332/29102 43262 Nov 5 12:39 1993 pm/lib/pm-mali.h rw-r----- 19332/29102 2810 Nov 5 12:39 1993 pm/lib/std.aux rw-r----- 19332/29102 941 Nov 5 12:39 1993 pm/lib/stdio.aux rw-r----- 19332/29102 1628 Nov 5 12:39 1993 pm/lib/arith.aux rw-r----- 19332/29102 906 Nov 5 12:39 1993 pm/lib/lists.aux rw-r----- 19332/29102 278 Nov 5 12:39 1993 pm/lib/btree.aux rw-r----- 19332/29102 158 Nov 5 12:39 1993 pm/lib/unix.aux rw-r----- 19332/29102 431 Nov 5 12:39 1993 pm/lib/read.aux rw-r----- 19332/29102 772 Nov 5 12:39 1993 pm/lib/dcg.aux rw-r----- 19332/29102 273 Nov 5 12:39 1993 pm/lib/allsol.aux rw-r----- 19332/29102 134 Nov 5 12:39 1993 pm/lib/libs r--r----- 19332/29102 1408 Nov 5 12:39 1993 pm/lib/subquery.h rwxr-x--- 19332/29102 0 Nov 5 12:39 1993 pm/man/ rwxr-x--- 19332/29102 34864 Nov 5 12:39 1993 pm/man/smalldoc.dvi rwxr-x--- 19332/29102 0 Nov 5 12:39 1993 pm/examples/ rw-r----- 19332/29102 169 Nov 5 12:39 1993 pm/examples/Makefile rw-r----- 19332/29102 1181 Nov 5 12:39 1993 pm/examples/bench.pm rw-r----- 19332/29102 1525 Nov 5 12:39 1993 pm/examples/flists.pm rw-r----- 19332/29102 989 Nov 5 12:39 1993 pm/examples/generic.pm rw-r----- 19332/29102 464 Nov 5 12:39 1993 pm/examples/jar.pm rwxr-x--- 19332/29102 0 Nov 5 12:39 1993 pm/pm/ r--r----- 19332/29102 4255 Nov 5 12:39 1993 pm/pm/incl.pm r--r----- 19332/29102 1798 Nov 5 12:39 1993 pm/pm/synS.pm r--r----- 19332/29102 2215 Nov 5 12:39 1993 pm/pm/normS.pm r--r----- 19332/29102 9597 Nov 5 12:39 1993 pm/pm/typedS.pm r--r----- 19332/29102 1924 Nov 5 12:39 1993 pm/pm/lex.pm r--r----- 19332/29102 6832 Nov 5 12:39 1993 pm/pm/dyn.pm r--r----- 19332/29102 11541 Nov 5 12:39 1993 pm/pm/error.pm r--r----- 19332/29102 10905 Nov 5 12:39 1993 pm/pm/io.pm r--r----- 19332/29102 13965 Nov 5 12:39 1993 pm/pm/syn.pm r--r----- 19332/29102 15095 Nov 5 12:39 1993 pm/pm/tokens.pm r--r----- 19332/29102 16155 Nov 5 12:39 1993 pm/pm/rewrite_goals.pm r--r----- 19332/29102 11754 Nov 5 12:39 1993 pm/pm/norm.pm r--r----- 19332/29102 6780 Nov 5 12:39 1993 pm/pm/exp_dcg.pm r--r----- 19332/29102 20087 Nov 5 12:39 1993 pm/pm/decl.pm r--r----- 19332/29102 9913 Nov 5 12:39 1993 pm/pm/typing.pm r--r----- 19332/29102 6578 Nov 5 12:39 1993 pm/pm/registers.pm r--r----- 19332/29102 11743 Nov 5 12:39 1993 pm/pm/gen_type.pm r--r----- 19332/29102 19558 Nov 5 12:39 1993 pm/pm/unif.pm r--r----- 19332/29102 19388 Nov 5 12:39 1993 pm/pm/gen_body.pm r--r----- 19332/29102 8679 Nov 5 12:39 1993 pm/pm/gen.pm r--r----- 19332/29102 6346 Nov 5 12:39 1993 pm/pm/clause.pm r--r----- 19332/29102 6470 Nov 5 12:39 1993 pm/pm/translate.pm r--r----- 19332/29102 1526 Nov 5 12:39 1993 pm/pm/init.pm r--r----- 19332/29102 5161 Nov 5 12:39 1993 pm/pm/pmc1.pm r--r----- 19332/29102 10649 Nov 5 12:39 1993 pm/pm/pmc.pm r--r----- 19332/29102 3529 Nov 5 12:39 1993 pm/pm/pmld.pm r--r----- 19332/29102 28747 Nov 5 12:39 1993 pm/pm/std.pm r--r----- 19332/29102 15537 Nov 5 12:39 1993 pm/pm/stdio.pm r--r----- 19332/29102 10286 Nov 5 12:39 1993 pm/pm/arith.pm r--r----- 19332/29102 5928 Nov 5 12:39 1993 pm/pm/lists.pm r--r----- 19332/29102 3935 Nov 5 12:39 1993 pm/pm/btree.pm r--r----- 19332/29102 4891 Nov 5 12:39 1993 pm/pm/unix.pm r--r----- 19332/29102 32434 Nov 5 12:39 1993 pm/pm/read.pm r--r----- 19332/29102 1624 Nov 5 12:39 1993 pm/pm/errmess.pm r--r----- 19332/29102 3099 Nov 5 12:39 1993 pm/pm/dcg.pm r--r----- 19332/29102 5237 Nov 5 12:39 1993 pm/pm/allsol.pm rwxr-x--- 19332/29102 0 Nov 5 12:39 1993 pm/tmp/