rwxr-xr-x 4273/0 0 Feb 23 19:17 1994 v25/ rw-r--r-- 4273/0 2487 Feb 22 20:58 1994 v25/CHANGES rw-r--r-- 4273/0 857 Feb 22 20:58 1994 v25/INSTALL rw-r--r-- 4273/0 574 Feb 22 20:58 1994 v25/README rwxr-xr-x 4273/0 0 Feb 23 18:46 1994 v25/doc/ rw-r--r-- 4273/0 151053 Feb 22 20:54 1994 v25/doc/sbprolog_doc.me rw-r--r-- 4273/0 1011 Feb 22 20:59 1994 v25/VERSIONS rwxr-xr-x 4273/0 0 Sep 16 13:20 1988 v25/sim/ rw-r--r-- 4273/0 1094 Sep 16 13:19 1988 v25/sim/Makefile rw-r--r-- 4273/0 1972 Sep 16 13:19 1988 v25/sim/README rw-r--r-- 4273/0 1575 Sep 16 13:19 1988 v25/sim/aux.c rw-r--r-- 4273/0 5222 Sep 16 13:19 1988 v25/sim/aux.h rwxr-xr-x 4273/0 0 Sep 16 13:20 1988 v25/sim/builtin/ rwxr--r-- 4273/0 1010 Sep 16 13:19 1988 v25/sim/builtin/Makefile rw-r--r-- 4273/0 2084 Sep 16 13:19 1988 v25/sim/builtin/README rw-r--r-- 4273/0 3455 Sep 16 13:19 1988 v25/sim/builtin/arith.c rw-r--r-- 4273/0 24698 Sep 16 13:19 1988 v25/sim/builtin/buffer.c rw-r--r-- 4273/0 1347 Sep 16 13:19 1988 v25/sim/builtin/builtin.c rw-r--r-- 4273/0 3073 Sep 16 13:19 1988 v25/sim/builtin/builtin.h rw-r--r-- 4273/0 3117 Sep 16 13:19 1988 v25/sim/builtin/compare.c rw-r--r-- 4273/0 9467 Sep 16 13:19 1988 v25/sim/builtin/file.c rw-r--r-- 4273/0 5869 Sep 16 13:19 1988 v25/sim/builtin/init_branch.c rw-r--r-- 4273/0 3317 Sep 16 13:19 1988 v25/sim/builtin/meta.c rw-r--r-- 4273/0 2723 Sep 16 13:19 1988 v25/sim/builtin/name.c rw-r--r-- 4273/0 14765 Sep 16 13:19 1988 v25/sim/builtin/other.c rw-r--r-- 4273/0 4959 Sep 16 13:19 1988 v25/sim/builtin/saverest.c rw-r--r-- 4273/0 5410 Sep 16 13:19 1988 v25/sim/builtin/structure.c rw-r--r-- 4273/0 1992 Sep 16 13:19 1988 v25/sim/builtin/substuff.c rw-r--r-- 4273/0 2732 Sep 16 13:19 1988 v25/sim/builtin/time.c rw-r--r-- 4273/0 1642 Sep 16 13:19 1988 v25/sim/builtin/tio.c rw-r--r-- 4273/0 35885 Sep 16 13:19 1988 v25/sim/builtin/token.c rw-r--r-- 4273/0 2828 Sep 16 13:19 1988 v25/sim/builtin/stlookup.c rw-r--r-- 4273/0 2658 Sep 16 13:19 1988 v25/sim/dis.c rw-r--r-- 4273/0 5075 Sep 16 13:19 1988 v25/sim/dispatch.c rw-r--r-- 4273/0 7098 Sep 16 13:19 1988 v25/sim/evalexp.c rw-r--r-- 4273/0 3992 Sep 16 13:19 1988 v25/sim/float.c rw-r--r-- 4273/0 1577 Sep 16 13:19 1988 v25/sim/index.h rw-r--r-- 4273/0 5966 Sep 16 13:19 1988 v25/sim/init.c rw-r--r-- 4273/0 8878 Sep 16 13:19 1988 v25/sim/inst.h rw-r--r-- 4273/0 4331 Sep 16 13:19 1988 v25/sim/io.c rw-r--r-- 4273/0 8455 Sep 16 13:19 1988 v25/sim/load_work.c rw-r--r-- 4273/0 17987 Sep 16 13:19 1988 v25/sim/loader.c rw-r--r-- 4273/0 32172 Sep 16 13:19 1988 v25/sim/main.c rw-r--r-- 4273/0 2656 Sep 16 13:19 1988 v25/sim/parse_oprnd.c rw-r--r-- 4273/0 4461 Sep 16 13:19 1988 v25/sim/sim.h rw-r--r-- 4273/0 3369 Sep 16 13:19 1988 v25/sim/print_inst.c rw-r--r-- 4273/0 3233 Sep 16 13:19 1988 v25/sim/simdef.h rw-r--r-- 4273/0 3654 Sep 16 13:19 1988 v25/sim/sub_inst.c rw-r--r-- 4273/0 4287 Sep 16 13:19 1988 v25/sim/unify.c rwxr-xr-x 4273/0 0 Sep 17 11:47 1988 v25/cmplib_src/ rwxr-xr-x 4273/0 2353 Sep 16 13:18 1988 v25/cmplib_src/makeall rw-r--r-- 4273/0 6012 Sep 16 13:18 1988 v25/cmplib_src/$asm1.P rw-r--r-- 4273/0 5014 Sep 16 13:18 1988 v25/cmplib_src/$preprocess1.P rw-r--r-- 4273/0 9435 Sep 16 13:18 1988 v25/cmplib_src/$asmbgen1.P rw-r--r-- 4273/0 3561 Sep 16 13:18 1988 v25/cmplib_src/$aux1.P rw-r--r-- 4273/0 9165 Sep 16 13:18 1988 v25/cmplib_src/$compile1.P rw-r--r-- 4273/0 16313 Sep 16 13:18 1988 v25/cmplib_src/$tprog1.P rw-r--r-- 4273/0 5872 Sep 16 13:18 1988 v25/cmplib_src/$convrhs1.P rw-r--r-- 4273/0 4238 Sep 16 13:18 1988 v25/cmplib_src/$targlist1.P rw-r--r-- 4273/0 3217 Sep 16 13:18 1988 v25/cmplib_src/$procclp1.P rw-r--r-- 4273/0 4826 Sep 16 13:18 1988 v25/cmplib_src/$asmpass21.P rw-r--r-- 4273/0 6151 Sep 16 13:18 1988 v25/cmplib_src/$computil1.P rw-r--r-- 4273/0 4603 Sep 16 13:18 1988 v25/cmplib_src/$flatten1.P rw-r--r-- 4273/0 8322 Sep 16 13:18 1988 v25/cmplib_src/$translcuts1.P rw-r--r-- 4273/0 3984 Sep 16 13:18 1988 v25/cmplib_src/$tgoal1.P rw-r--r-- 4273/0 3257 Sep 16 13:18 1988 v25/cmplib_src/$disjunc1.P rw-r--r-- 4273/0 13803 Sep 16 13:18 1988 v25/cmplib_src/$peephole1.P rw-r--r-- 4273/0 4449 Sep 16 13:18 1988 v25/cmplib_src/$prococcbody1.P rw-r--r-- 4273/0 4092 Sep 16 13:18 1988 v25/cmplib_src/$procarglist1.P rw-r--r-- 4273/0 3519 Sep 16 13:18 1988 v25/cmplib_src/$prococc1.P rw-r--r-- 4273/0 3540 Sep 16 13:18 1988 v25/cmplib_src/$inprog1.P rw-r--r-- 4273/0 2169 Sep 16 13:18 1988 v25/cmplib_src/$inline1.P rw-r--r-- 4273/0 4789 Sep 16 13:18 1988 v25/cmplib_src/$tindex1.P rw-r--r-- 4273/0 6208 Sep 16 13:18 1988 v25/cmplib_src/$index1.P rw-r--r-- 4273/0 3622 Sep 16 13:18 1988 v25/cmplib_src/$getclauses.P rw-r--r-- 4273/0 528 Sep 16 13:18 1988 v25/cmplib_src/catf rw-r--r-- 4273/0 5795 Sep 16 13:18 1988 v25/cmplib_src/$normvarocc1.P rw-r--r-- 4273/0 5559 Sep 16 13:18 1988 v25/cmplib_src/$eval1.P rw-r--r-- 4273/0 2661 Sep 16 13:18 1988 v25/cmplib_src/$listutil1.P rw-r--r-- 4273/0 3990 Sep 16 13:18 1988 v25/cmplib_src/$translate1.P rw-r--r-- 4273/0 5703 Sep 16 13:18 1988 v25/cmplib_src/$alloctvars1.P rw-r--r-- 4273/0 4986 Sep 16 13:18 1988 v25/cmplib_src/$procvars1.P rw-r--r-- 4273/0 10100 Sep 16 13:18 1988 v25/cmplib_src/$geninline1.P rw-r--r-- 4273/0 6642 Sep 16 13:18 1988 v25/cmplib_src/$inst1.P rw-r--r-- 4273/0 2782 Sep 16 13:18 1988 v25/cmplib_src/$cond1.P rw-r--r-- 4273/0 7146 Sep 16 13:18 1988 v25/cmplib_src/$asmpass11.P rw-r--r-- 4273/0 6587 Sep 16 13:18 1988 v25/cmplib_src/$tcond1.P rw-r--r-- 4273/0 6652 Sep 16 13:18 1988 v25/cmplib_src/$factor1.P rw-r--r-- 4273/0 2173 Sep 16 13:18 1988 v25/cmplib_src/$builtins1.P rwxr-xr-x 4273/0 0 Sep 16 13:18 1988 v25/bench/ rw-r--r-- 4273/0 1220 Sep 16 13:18 1988 v25/bench/README rw-r--r-- 4273/0 76123 Sep 16 13:18 1988 v25/bench/bench rw-r--r-- 4273/0 41239 Sep 16 13:18 1988 v25/bench/bench.P rw-r--r-- 4273/0 902 Sep 16 13:18 1988 v25/bench/nrev.P rw-r--r-- 4273/0 3656 Sep 16 13:18 1988 v25/bench/nrev.P.asl rw-r--r-- 4273/0 932 Sep 16 13:18 1988 v25/bench/nrev.P.out rwxr-xr-x 4273/0 0 Oct 12 10:21 1989 v25/texinfo/ rw-r--r-- 4273/0 161695 Oct 12 10:08 1989 v25/texinfo/doc.texinfo rw-r--r-- 4273/0 4014 Oct 12 10:20 1989 v25/texinfo/doc.el rw-r--r-- 4273/0 1000 Oct 12 10:18 1989 v25/texinfo/README rwxr-xr-x 4273/0 0 Sep 17 11:46 1988 v25/cmplib/ rw-r--r-- 4273/0 3315 Sep 16 13:18 1988 v25/cmplib/$alloctvars1 rw-r--r-- 4273/0 4268 Sep 16 13:18 1988 v25/cmplib/$asm1 rw-r--r-- 4273/0 7608 Sep 16 13:18 1988 v25/cmplib/$asmbgen1 rw-r--r-- 4273/0 5812 Sep 16 13:18 1988 v25/cmplib/$asmpass11 rw-r--r-- 4273/0 2243 Sep 16 13:18 1988 v25/cmplib/$asmpass21 rw-r--r-- 4273/0 1990 Sep 16 13:18 1988 v25/cmplib/$aux1 rw-r--r-- 4273/0 1242 Sep 16 13:18 1988 v25/cmplib/$builtins1 rw-r--r-- 4273/0 131810 Sep 16 13:18 1988 v25/cmplib/$compile rw-r--r-- 4273/0 7880 Sep 16 13:18 1988 v25/cmplib/$compile1 rw-r--r-- 4273/0 4551 Sep 16 13:18 1988 v25/cmplib/$computil1 rw-r--r-- 4273/0 1478 Sep 16 13:18 1988 v25/cmplib/$cond1 rw-r--r-- 4273/0 3040 Sep 16 13:18 1988 v25/cmplib/$convrhs1 rw-r--r-- 4273/0 1465 Sep 16 13:18 1988 v25/cmplib/$disjunc1 rw-r--r-- 4273/0 4105 Sep 16 13:18 1988 v25/cmplib/$eval1 rw-r--r-- 4273/0 4760 Sep 16 13:18 1988 v25/cmplib/$factor1 rw-r--r-- 4273/0 1728 Sep 16 13:18 1988 v25/cmplib/$flatten1 rw-r--r-- 4273/0 7531 Sep 16 13:18 1988 v25/cmplib/$geninline1 rw-r--r-- 4273/0 2862 Sep 16 13:18 1988 v25/cmplib/$getclauses rw-r--r-- 4273/0 4237 Sep 16 13:18 1988 v25/cmplib/$index1 rw-r--r-- 4273/0 1203 Sep 16 13:18 1988 v25/cmplib/$inline1 rw-r--r-- 4273/0 1780 Sep 16 13:18 1988 v25/cmplib/$inprog1 rw-r--r-- 4273/0 4662 Sep 16 13:18 1988 v25/cmplib/$inst1 rw-r--r-- 4273/0 1985 Sep 16 13:18 1988 v25/cmplib/$listutil1 rw-r--r-- 4273/0 2682 Sep 16 13:18 1988 v25/cmplib/$normvarocc1 rw-r--r-- 4273/0 12728 Sep 16 13:18 1988 v25/cmplib/$peephole1 rw-r--r-- 4273/0 2694 Sep 16 13:18 1988 v25/cmplib/$preprocess1 rw-r--r-- 4273/0 2436 Sep 16 13:18 1988 v25/cmplib/$procarglist1 rw-r--r-- 4273/0 948 Sep 16 13:18 1988 v25/cmplib/$procclp1 rw-r--r-- 4273/0 1972 Sep 16 13:18 1988 v25/cmplib/$prococc1 rw-r--r-- 4273/0 2565 Sep 16 13:18 1988 v25/cmplib/$prococcbody1 rw-r--r-- 4273/0 3698 Sep 16 13:18 1988 v25/cmplib/$procvars1 rw-r--r-- 4273/0 2237 Sep 16 13:18 1988 v25/cmplib/$targlist1 rw-r--r-- 4273/0 4470 Sep 16 13:18 1988 v25/cmplib/$tcond1 rw-r--r-- 4273/0 2103 Sep 16 13:18 1988 v25/cmplib/$tgoal1 rw-r--r-- 4273/0 2752 Sep 16 13:18 1988 v25/cmplib/$tindex1 rw-r--r-- 4273/0 7182 Sep 16 13:18 1988 v25/cmplib/$tprog1 rw-r--r-- 4273/0 5253 Sep 16 13:18 1988 v25/cmplib/$transform1 rw-r--r-- 4273/0 2461 Sep 16 13:18 1988 v25/cmplib/$translate1 rw-r--r-- 4273/0 5984 Sep 16 13:18 1988 v25/cmplib/$translcuts1 rwxr-xr-x 4273/0 0 Sep 16 13:19 1988 v25/lib/ rw-r--r-- 4273/0 59 Sep 16 13:18 1988 v25/lib/$exists rw-r--r-- 4273/0 142 Sep 16 13:18 1988 v25/lib/access rw-r--r-- 4273/0 383 Sep 16 13:18 1988 v25/lib/call_ref rw-r--r-- 4273/0 37 Sep 16 13:18 1988 v25/lib/dynamic rw-r--r-- 4273/0 1195 Sep 16 13:18 1988 v25/lib/emode rw-r--r-- 4273/0 37 Sep 16 13:18 1988 v25/lib/errno rw-r--r-- 4273/0 37 Sep 16 13:18 1988 v25/lib/flags rw-r--r-- 4273/0 1580 Sep 16 13:18 1988 v25/lib/mode rw-r--r-- 4273/0 277 Sep 16 13:18 1988 v25/lib/nodynload rw-r--r-- 4273/0 464 Sep 16 13:18 1988 v25/lib/op rw-r--r-- 4273/0 39 Sep 16 13:18 1988 v25/lib/restore rw-r--r-- 4273/0 36 Sep 16 13:18 1988 v25/lib/save rw-r--r-- 4273/0 3510 Sep 16 13:18 1988 v25/lib/sockets rwxr-xr-x 4273/0 0 Sep 16 13:19 1988 v25/lib/src/ rw-r--r-- 4273/0 1200 Sep 16 13:18 1988 v25/lib/src/$exists.P rw-r--r-- 4273/0 1249 Sep 16 13:18 1988 v25/lib/src/access.P rw-r--r-- 4273/0 1499 Sep 16 13:19 1988 v25/lib/src/subsumes.P rw-r--r-- 4273/0 7252 Sep 16 13:19 1988 v25/lib/src/sockets.P rw-r--r-- 4273/0 1211 Sep 16 13:19 1988 v25/lib/src/flags.P rw-r--r-- 4273/0 1218 Sep 16 13:19 1988 v25/lib/src/errno.P rw-r--r-- 4273/0 1200 Sep 16 13:19 1988 v25/lib/src/save.P rw-r--r-- 4273/0 1211 Sep 16 13:19 1988 v25/lib/src/restore.P rw-r--r-- 4273/0 1460 Sep 16 13:19 1988 v25/lib/src/op.P rw-r--r-- 4273/0 1522 Sep 16 13:19 1988 v25/lib/src/call_ref.P rw-r--r-- 4273/0 2338 Sep 16 13:19 1988 v25/lib/src/mode.P rw-r--r-- 4273/0 1365 Sep 16 13:19 1988 v25/lib/src/nodynload.P rw-r--r-- 4273/0 2091 Sep 16 13:19 1988 v25/lib/src/emode.P rw-r--r-- 4273/0 1201 Sep 16 13:19 1988 v25/lib/src/term_expansion.P rw-r--r-- 4273/0 1185 Sep 16 13:19 1988 v25/lib/src/dynamic.P rw-r--r-- 4273/0 2286 Sep 16 13:19 1988 v25/lib/src/index.P rw-r--r-- 4273/0 1184 Sep 16 13:19 1988 v25/lib/src/public.P rw-r--r-- 4273/0 621 Sep 16 13:19 1988 v25/lib/subsumes rw-r--r-- 4273/0 46 Sep 16 13:19 1988 v25/lib/term_expansion rw-r--r-- 4273/0 36 Sep 16 13:19 1988 v25/lib/public rw-r--r-- 4273/0 965 Sep 16 13:19 1988 v25/lib/index rwxr-xr-x 4273/0 0 Feb 12 10:53 1989 v25/modlib/ rw-r--r-- 4273/0 2337 Sep 15 14:13 1988 v25/modlib/$arith rw-r--r-- 4273/0 4064 Sep 16 17:53 1988 v25/modlib/$assert rw-r--r-- 4273/0 1869 Sep 16 17:53 1988 v25/modlib/$bio rw-r--r-- 4273/0 594 Sep 16 17:53 1988 v25/modlib/$blist rw-r--r-- 4273/0 1052 Sep 16 17:53 1988 v25/modlib/$bmeta rw-r--r-- 4273/0 1767 Sep 16 17:53 1988 v25/modlib/$buff rw-r--r-- 4273/0 1619 Sep 16 18:41 1988 v25/modlib/$call rw-r--r-- 4273/0 947 Sep 16 17:53 1988 v25/modlib/$compare rw-r--r-- 4273/0 2702 Sep 16 17:54 1988 v25/modlib/$consult rw-r--r-- 4273/0 9208 Dec 10 15:20 1988 v25/modlib/$db rw-r--r-- 4273/0 10462 Sep 16 17:56 1988 v25/modlib/$dbcmpl rw-r--r-- 4273/0 2979 Sep 15 14:13 1988 v25/modlib/$dcg rw-r--r-- 4273/0 10319 Sep 16 17:56 1988 v25/modlib/$deb rw-r--r-- 4273/0 1821 Sep 16 17:57 1988 v25/modlib/$defint rw-r--r-- 4273/0 11454 Sep 16 17:58 1988 v25/modlib/$et rw-r--r-- 4273/0 1588 Sep 16 17:58 1988 v25/modlib/$glob rw-r--r-- 4273/0 4634 Sep 15 14:13 1988 v25/modlib/$init_sys rw-r--r-- 4273/0 2894 Sep 16 17:58 1988 v25/modlib/$inlines rw-r--r-- 4273/0 5115 Nov 1 13:11 1988 v25/modlib/$io rw-r--r-- 4273/0 1799 Sep 15 14:13 1988 v25/modlib/$listutil1 rw-r--r-- 4273/0 11979 Feb 12 10:50 1989 v25/modlib/$mac rw-r--r-- 4273/0 1083 Sep 16 18:03 1988 v25/modlib/$meta rw-r--r-- 4273/0 1217 Sep 16 18:03 1988 v25/modlib/$name rw-r--r-- 4273/0 4806 Sep 16 12:24 1988 v25/modlib/$o rw-r--r-- 4273/0 1080 Jan 27 10:49 1989 v25/modlib/$osys rw-r--r-- 4273/0 4030 Dec 9 12:09 1988 v25/modlib/$portray rw-r--r-- 4273/0 15377 Sep 16 18:04 1988 v25/modlib/$prof rw-r--r-- 4273/0 16239 Sep 16 18:05 1988 v25/modlib/$prorc rw-r--r-- 4273/0 10546 Sep 16 16:15 1988 v25/modlib/$read rw-r--r-- 4273/0 2069 Sep 16 18:05 1988 v25/modlib/$read_curr_op rw-r--r-- 4273/0 10960 Dec 9 11:56 1988 v25/modlib/$readloop rw-r--r-- 4273/0 2147 Sep 16 18:06 1988 v25/modlib/$retr rw-r--r-- 4273/0 5912 Sep 16 18:06 1988 v25/modlib/$setof rw-r--r-- 4273/0 1780 Sep 16 18:06 1988 v25/modlib/$statistics rw-r--r-- 4273/0 61 Sep 16 18:06 1988 v25/modlib/$version rw-r--r-- 4273/0 15863 Jan 10 13:18 1989 v25/modlib/$decompile rw-r--r-- 4273/0 1989 Dec 9 12:04 1988 v25/modlib/$record rw-r--r-- 4273/0 9510 Dec 9 12:13 1988 v25/modlib/$currsym rwxr-xr-x 4273/0 0 Feb 12 10:52 1989 v25/modlib_src/ rw-r--r-- 4273/0 46 Feb 12 10:19 1989 v25/modlib_src/temp rw-r--r-- 4273/0 5606 Oct 31 17:43 1988 v25/modlib_src/$io.P rw-r--r-- 4273/0 3032 Sep 15 14:13 1988 v25/modlib_src/$arith.P rw-r--r-- 4273/0 2187 Sep 15 14:13 1988 v25/modlib_src/$bio.P rw-r--r-- 4273/0 1522 Sep 15 14:13 1988 v25/modlib_src/$blist.P rw-r--r-- 4273/0 1778 Sep 15 14:13 1988 v25/modlib_src/$bmeta.P rw-r--r-- 4273/0 2929 Sep 15 14:13 1988 v25/modlib_src/$buff.P rw-r--r-- 4273/0 1656 Sep 15 14:13 1988 v25/modlib_src/$compare.P rw-r--r-- 4273/0 18056 Sep 15 14:13 1988 v25/modlib_src/$dbcmpl.P rw-r--r-- 4273/0 4278 Sep 15 14:13 1988 v25/modlib_src/$dcg.P rw-r--r-- 4273/0 4607 Sep 15 14:13 1988 v25/modlib_src/$defint.P rw-r--r-- 4273/0 14398 Sep 15 14:13 1988 v25/modlib_src/$et.P rw-r--r-- 4273/0 3335 Sep 15 14:13 1988 v25/modlib_src/$glob.P rw-r--r-- 4273/0 3061 Sep 15 14:13 1988 v25/modlib_src/$inlines.P rw-r--r-- 4273/0 4642 Sep 16 15:49 1988 v25/modlib_src/$consult.P rw-r--r-- 4273/0 2604 Sep 15 14:13 1988 v25/modlib_src/$listutil1.P rw-r--r-- 4273/0 13145 Feb 12 10:49 1989 v25/modlib_src/$mac.P rw-r--r-- 4273/0 1988 Sep 15 14:13 1988 v25/modlib_src/$meta.P rw-r--r-- 4273/0 2573 Sep 15 14:13 1988 v25/modlib_src/$name.P rw-r--r-- 4273/0 18772 Sep 16 16:10 1988 v25/modlib_src/$read.P rw-r--r-- 4273/0 1931 Jan 27 10:49 1989 v25/modlib_src/$osys.P rw-r--r-- 4273/0 4693 Dec 9 12:08 1988 v25/modlib_src/$portray.P rw-r--r-- 4273/0 16083 Sep 15 14:13 1988 v25/modlib_src/$prof.P rw-r--r-- 4273/0 8475 Sep 16 12:08 1988 v25/modlib_src/$prorc.P rw-r--r-- 4273/0 8461 Dec 9 12:12 1988 v25/modlib_src/$currsym.P rw-r--r-- 4273/0 2509 Sep 15 14:13 1988 v25/modlib_src/$statistics.P rw-r--r-- 4273/0 10429 Sep 16 16:21 1988 v25/modlib_src/$assert.P rwxr--r-- 4273/0 1358 Sep 15 14:13 1988 v25/modlib_src/makeall rw-r--r-- 4273/0 25 Sep 15 14:13 1988 v25/modlib_src/$version.P rw-r--r-- 4273/0 14044 Dec 9 11:58 1988 v25/modlib_src/$readloop.P rw-r--r-- 4273/0 15956 Dec 10 15:19 1988 v25/modlib_src/$db.P rw-r--r-- 4273/0 12281 Sep 16 12:07 1988 v25/modlib_src/$deb.P rw-r--r-- 4273/0 21238 Jan 10 13:16 1989 v25/modlib_src/$decompile.P rw-r--r-- 4273/0 2296 Sep 16 18:02 1988 v25/modlib_src/$call.P rw-r--r-- 4273/0 2557 Dec 9 12:03 1988 v25/modlib_src/$record.P rw-r--r-- 4273/0 4539 Sep 15 14:13 1988 v25/modlib_src/$retr.P rw-r--r-- 4273/0 20345 Sep 15 14:13 1988 v25/modlib_src/$setof.P rw-r--r-- 4273/0 4315 Sep 16 12:23 1988 v25/modlib_src/$o.P rw-r--r-- 4273/0 1635 Sep 15 14:13 1988 v25/modlib_src/$read_curr_op.P rw-r--r-- 4273/0 8247 Sep 15 14:13 1988 v25/modlib_src/$init_sys.P rwxr-xr-x 4273/0 0 Nov 6 14:47 1988 v25/sbp_ports/ rwxr-xr-x 4273/0 0 Nov 6 14:47 1988 v25/sbp_ports/sbp_MacII/ rw-r--r-- 4273/0 966 Sep 9 21:19 1988 v25/sbp_ports/sbp_MacII/Makefile.sim rw-r--r-- 4273/0 6003 Sep 9 21:19 1988 v25/sbp_ports/sbp_MacII/init.c rw-r--r-- 4273/0 4977 Sep 9 21:21 1988 v25/sbp_ports/sbp_MacII/saverest.c rw-r--r-- 4273/0 896 Sep 9 21:19 1988 v25/sbp_ports/sbp_MacII/Makefile.built rw-r--r-- 4273/0 4243 Sep 9 21:21 1988 v25/sbp_ports/sbp_MacII/time.c rw-r--r-- 4273/0 665 Sep 9 21:28 1988 v25/sbp_ports/sbp_MacII/README.AUX rw------- 4273/0 8479 Nov 6 14:46 1988 v25/sbp_ports/sbp_hp9000 rw------- 4273/0 10481 Nov 6 14:46 1988 v25/sbp_ports/sbp_amiga rw------- 4273/0 9902 Nov 6 14:46 1988 v25/sbp_ports/sbp_apollo