rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/ rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/Source/ rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/Source/Examples symbolic link to ../Examples rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/Source/Tools symbolic link to ../Tools rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/Source/Lib symbolic link to ../Lib rw-rw-rw- 1035/15 3233 Mar 18 12:25 1994 Life1.0/Source/arity.c rw-rw-rw- 1035/15 28729 Mar 18 12:25 1994 Life1.0/Source/bi_math.c rw-rw-rw- 1035/15 14022 Mar 18 12:25 1994 Life1.0/Source/bi_sys.c rw-rw-rw- 1035/15 15888 Mar 18 12:25 1994 Life1.0/Source/bi_type.c rw-rw-rw- 1035/15 135121 Mar 18 12:25 1994 Life1.0/Source/built_ins.c rw-rw-rw- 1035/15 19104 Mar 18 12:25 1994 Life1.0/Source/copy.c rw-rw-rw- 1035/15 9618 Mar 18 12:25 1994 Life1.0/Source/error.c rw-rw-rw- 1035/15 3588 Mar 18 12:25 1994 Life1.0/Source/hash_table.c rw-rw-rw- 1035/15 1853 Mar 18 12:25 1994 Life1.0/Source/info.c rw-rw-rw- 1035/15 2849 Mar 18 12:25 1994 Life1.0/Source/interrupt.c rw-rw-rw- 1035/15 34071 Mar 18 12:25 1994 Life1.0/Source/lefun.c rw-rw-rw- 1035/15 7424 Mar 18 12:25 1994 Life1.0/Source/lib.c rw-rw-rw- 1035/15 3692 Mar 18 12:25 1994 Life1.0/Source/life.c rw-rw-rw- 1035/15 10522 Mar 18 12:25 1994 Life1.0/Source/list.c rw-rw-rw- 1035/15 62251 Mar 18 12:25 1994 Life1.0/Source/login.c rw-rw-rw- 1035/15 4763 Mar 18 12:25 1994 Life1.0/Source/lub.c rw-rw-rw- 1035/15 38118 Mar 18 12:25 1994 Life1.0/Source/memory.c rw-rw-rw- 1035/15 27751 Mar 18 12:25 1994 Life1.0/Source/modules.c rw-rw-rw- 1035/15 19548 Mar 18 12:25 1994 Life1.0/Source/parser.c rw-rw-rw- 1035/15 34712 Mar 18 12:25 1994 Life1.0/Source/print.c rw-rw-rw- 1035/15 7399 Mar 18 12:25 1994 Life1.0/Source/raw.c rw-rw-rw- 1035/15 931 Mar 18 12:25 1994 Life1.0/Source/templates.c rw-rw-rw- 1035/15 24984 Mar 18 12:25 1994 Life1.0/Source/token.c rw-rw-rw- 1035/15 9840 Mar 18 12:25 1994 Life1.0/Source/trees.c rw-rw-rw- 1035/15 37808 Mar 18 12:25 1994 Life1.0/Source/types.c rw-rw-rw- 1035/15 17780 Mar 18 12:25 1994 Life1.0/Source/xdisplaylist.c rw-rw-rw- 1035/15 92346 Mar 18 12:25 1994 Life1.0/Source/xpred.c rw-rw-rw- 1035/15 1079 Mar 18 12:25 1994 Life1.0/Source/built_ins.h rw-rw-rw- 1035/15 1193 Mar 18 12:25 1994 Life1.0/Source/c_life.h rw-rw-rw- 1035/15 747 Mar 18 12:25 1994 Life1.0/Source/copy.h rw-rw-rw- 1035/15 1408 Mar 18 12:25 1994 Life1.0/Source/error.h rw-rw-rw- 1035/15 22339 Mar 18 12:25 1994 Life1.0/Source/extern.h rw-rw-rw- 1035/15 163 Mar 18 12:25 1994 Life1.0/Source/info.h rw-rw-rw- 1035/15 256 Mar 18 12:25 1994 Life1.0/Source/interrupt.h rw-rw-rw- 1035/15 1850 Mar 18 12:25 1994 Life1.0/Source/lefun.h rw-rw-rw- 1035/15 2133 Mar 18 12:25 1994 Life1.0/Source/list.h rw-rw-rw- 1035/15 1085 Mar 18 12:25 1994 Life1.0/Source/login.h rw-rw-rw- 1035/15 339 Mar 18 12:25 1994 Life1.0/Source/memory.h rw-rw-rw- 1035/15 1222 Mar 18 12:25 1994 Life1.0/Source/modules.h rw-rw-rw- 1035/15 274 Mar 18 12:25 1994 Life1.0/Source/parser.h rw-rw-rw- 1035/15 1019 Mar 18 12:25 1994 Life1.0/Source/print.h rw-rw-rw- 1035/15 178 Mar 18 12:25 1994 Life1.0/Source/raw.h rw-rw-rw- 1035/15 2445 Mar 18 12:25 1994 Life1.0/Source/templates.h rw-rw-rw- 1035/15 2117 Mar 18 12:25 1994 Life1.0/Source/token.h rw-rw-rw- 1035/15 555 Mar 18 12:25 1994 Life1.0/Source/trees.h rw-rw-rw- 1035/15 805 Mar 18 12:25 1994 Life1.0/Source/types.h rw-rw-rw- 1035/15 1755 Mar 18 12:25 1994 Life1.0/Source/xdisplaylist.h rw-rw-rw- 1035/15 779 Mar 18 12:25 1994 Life1.0/Source/xpred.h rw-rw-rw- 1035/15 5838 Mar 18 12:25 1994 Life1.0/Source/.set_up_basis rw-rw-rw- 1035/15 22555 Mar 18 12:25 1994 Life1.0/Source/built_ins.lf rw-rw-rw- 1035/15 11080 Mar 18 12:25 1994 Life1.0/Source/term_expansion.lf rw-rw-rw- 1035/15 3039 Mar 18 12:25 1994 Life1.0/Source/onlinedoc.lf rw-rw-rw- 1035/15 9271 Mar 18 12:25 1994 Life1.0/Source/Makefile rw-rw-rw- 1035/15 1349 Mar 18 12:25 1994 Life1.0/Source/life_icon rw-rw-rw- 1035/15 24951 Mar 18 12:25 1994 Life1.0/Source/README rwxr-xr-x 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/ rwxrwxrwx 1035/15 0 Mar 18 12:26 1994 Life1.0/Tests/FILES/ rw-r--r-- 1035/15 66504 Mar 18 12:26 1994 Life1.0/Tests/FILES/babel.lf rw-r--r-- 1035/15 20 Mar 18 12:26 1994 Life1.0/Tests/FILES/copyfile.1 rw-r--r-- 1035/15 20 Mar 18 12:26 1994 Life1.0/Tests/FILES/copyfile.2 rw-r--r-- 1035/15 147 Mar 18 12:26 1994 Life1.0/Tests/FILES/parser.1 rw-r--r-- 1035/15 136 Mar 18 12:26 1994 Life1.0/Tests/FILES/parser.2 rw-r--r-- 1035/15 136 Mar 18 12:26 1994 Life1.0/Tests/FILES/parser.3 rw-r--r-- 1035/15 882 Mar 18 12:26 1994 Life1.0/Tests/FILES/preparser.1 rw-r--r-- 1035/15 81 Mar 18 12:26 1994 Life1.0/Tests/FILES/preparser.2 rw-r--r-- 1035/15 138 Mar 18 12:26 1994 Life1.0/Tests/FILES/t3203.1 rw-r--r-- 1035/15 1682 Mar 18 12:26 1994 Life1.0/Tests/FILES/testsl.c rw-r--r-- 1035/15 17582 Mar 18 12:26 1994 Life1.0/Tests/FILES/testslc.rules rw-r--r-- 1035/15 34386 Mar 18 12:26 1994 Life1.0/Tests/FILES/testslc.out rw-r--r-- 1035/15 4375 Mar 18 12:26 1994 Life1.0/Tests/FILES/z_gctoken2.1 rw-r--r-- 1035/15 136 Mar 18 12:26 1994 Life1.0/Tests/FILES/parser.1_expr rw-r--r-- 1035/15 136 Mar 18 12:26 1994 Life1.0/Tests/FILES/parser.2_expr rwxrwxrwx 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/IN/ rw-r--r-- 1035/15 65 Mar 18 12:26 1994 Life1.0/Tests/IN/aborthook.in rw-r--r-- 1035/15 188 Mar 18 12:26 1994 Life1.0/Tests/IN/addtab.in rw-r--r-- 1035/15 165 Mar 18 12:26 1994 Life1.0/Tests/IN/andor1.in rw-r--r-- 1035/15 157 Mar 18 12:26 1994 Life1.0/Tests/IN/andor2.in rw-r--r-- 1035/15 329 Mar 18 12:26 1994 Life1.0/Tests/IN/andor3.in rw-r--r-- 1035/15 99 Mar 18 12:26 1994 Life1.0/Tests/IN/andor4.in rw-r--r-- 1035/15 285 Mar 18 12:26 1994 Life1.0/Tests/IN/andor5.in rw-r--r-- 1035/15 50 Mar 18 12:26 1994 Life1.0/Tests/IN/another_bug.in rw-r--r-- 1035/15 1872 Mar 18 12:26 1994 Life1.0/Tests/IN/anyorder.in rw-r--r-- 1035/15 415 Mar 18 12:26 1994 Life1.0/Tests/IN/append.in rw-r--r-- 1035/15 6 Mar 18 12:26 1994 Life1.0/Tests/IN/apply.in rw-r--r-- 1035/15 203 Mar 18 12:26 1994 Life1.0/Tests/IN/arith1.in rw-r--r-- 1035/15 69 Mar 18 12:26 1994 Life1.0/Tests/IN/arith2.in rw-r--r-- 1035/15 61 Mar 18 12:26 1994 Life1.0/Tests/IN/arith3.in rw-r--r-- 1035/15 77 Mar 18 12:26 1994 Life1.0/Tests/IN/arith4.in rw-r--r-- 1035/15 45 Mar 18 12:26 1994 Life1.0/Tests/IN/arith5.in rw-r--r-- 1035/15 49 Mar 18 12:26 1994 Life1.0/Tests/IN/arith6.in rw-r--r-- 1035/15 171 Mar 18 12:26 1994 Life1.0/Tests/IN/arith7.in rw-r--r-- 1035/15 101 Mar 18 12:26 1994 Life1.0/Tests/IN/arith8.in rw-r--r-- 1035/15 44 Mar 18 12:26 1994 Life1.0/Tests/IN/arith9.in rw-r--r-- 1035/15 6 Mar 18 12:26 1994 Life1.0/Tests/IN/assert1.in rw-r--r-- 1035/15 34 Mar 18 12:26 1994 Life1.0/Tests/IN/assert2.in rw-r--r-- 1035/15 55 Mar 18 12:26 1994 Life1.0/Tests/IN/assert3.in rw-r--r-- 1035/15 269 Mar 18 12:26 1994 Life1.0/Tests/IN/assert4.in rw-r--r-- 1035/15 35 Mar 18 12:26 1994 Life1.0/Tests/IN/babcode.in rw-r--r-- 1035/15 1511 Mar 18 12:26 1994 Life1.0/Tests/IN/babel.in rw-r--r-- 1035/15 10 Mar 18 12:26 1994 Life1.0/Tests/IN/bagof1.in rw-r--r-- 1035/15 109 Mar 18 12:26 1994 Life1.0/Tests/IN/bagof2.in rw-r--r-- 1035/15 26 Mar 18 12:26 1994 Life1.0/Tests/IN/bagof3.in rw-r--r-- 1035/15 46 Mar 18 12:26 1994 Life1.0/Tests/IN/bagof4.in rw-r--r-- 1035/15 67 Mar 18 12:26 1994 Life1.0/Tests/IN/bagof5.in rw-r--r-- 1035/15 42 Mar 18 12:26 1994 Life1.0/Tests/IN/bagof6.in rw-r--r-- 1035/15 0 Mar 18 12:26 1994 Life1.0/Tests/IN/bigstr.in rw-r--r-- 1035/15 77 Mar 18 12:26 1994 Life1.0/Tests/IN/bk_assign.in rw-r--r-- 1035/15 178 Mar 18 12:26 1994 Life1.0/Tests/IN/boites1.in rw-r--r-- 1035/15 119 Mar 18 12:26 1994 Life1.0/Tests/IN/boites2.in rw-r--r-- 1035/15 34 Mar 18 12:26 1994 Life1.0/Tests/IN/bruno_disj.in rw-r--r-- 1035/15 714 Mar 18 12:26 1994 Life1.0/Tests/IN/brunobug.in rw-r--r-- 1035/15 51 Mar 18 12:26 1994 Life1.0/Tests/IN/cb.in rw-r--r-- 1035/15 3135 Mar 18 12:26 1994 Life1.0/Tests/IN/chapla.in rw-r--r-- 1035/15 21 Mar 18 12:26 1994 Life1.0/Tests/IN/chart_parser1.in rw-r--r-- 1035/15 21 Mar 18 12:26 1994 Life1.0/Tests/IN/chart_parser2.in rw-r--r-- 1035/15 267 Mar 18 12:26 1994 Life1.0/Tests/IN/children.in rw-r--r-- 1035/15 431 Mar 18 12:26 1994 Life1.0/Tests/IN/choice.in rw-r--r-- 1035/15 173 Mar 18 12:26 1994 Life1.0/Tests/IN/clause.in rw-r--r-- 1035/15 53 Mar 18 12:26 1994 Life1.0/Tests/IN/compose.in rw-r--r-- 1035/15 78 Mar 18 12:26 1994 Life1.0/Tests/IN/constr.in rw-r--r-- 1035/15 609 Mar 18 12:26 1994 Life1.0/Tests/IN/copy1.in rw-r--r-- 1035/15 607 Mar 18 12:26 1994 Life1.0/Tests/IN/copy2.in rw-r--r-- 1035/15 627 Mar 18 12:26 1994 Life1.0/Tests/IN/copy3.in rw-r--r-- 1035/15 280 Mar 18 12:26 1994 Life1.0/Tests/IN/copyfile.in rw-r--r-- 1035/15 42 Mar 18 12:26 1994 Life1.0/Tests/IN/curry1.in rw-r--r-- 1035/15 234 Mar 18 12:26 1994 Life1.0/Tests/IN/curry2.in rw-r--r-- 1035/15 39 Mar 18 12:26 1994 Life1.0/Tests/IN/curry3.in rw-r--r-- 1035/15 245 Mar 18 12:26 1994 Life1.0/Tests/IN/curry4.in rw-r--r-- 1035/15 115 Mar 18 12:26 1994 Life1.0/Tests/IN/curry5.in rw-r--r-- 1035/15 35 Mar 18 12:26 1994 Life1.0/Tests/IN/cut2.in rw-r--r-- 1035/15 46 Mar 18 12:26 1994 Life1.0/Tests/IN/cut3.in rw-r--r-- 1035/15 350 Mar 18 12:26 1994 Life1.0/Tests/IN/cycles1.in rw-r--r-- 1035/15 360 Mar 18 12:26 1994 Life1.0/Tests/IN/cycles2.in rw-r--r-- 1035/15 520 Mar 18 12:26 1994 Life1.0/Tests/IN/debug.in rw-r--r-- 1035/15 82 Mar 18 12:26 1994 Life1.0/Tests/IN/decl.in rw-r--r-- 1035/15 55 Mar 18 12:26 1994 Life1.0/Tests/IN/delay.in rw-r--r-- 1035/15 55 Mar 18 12:26 1994 Life1.0/Tests/IN/delay2.in rw-r--r-- 1035/15 81 Mar 18 12:26 1994 Life1.0/Tests/IN/dichotomy.in rw-r--r-- 1035/15 7 Mar 18 12:26 1994 Life1.0/Tests/IN/dict.in rw-r--r-- 1035/15 508 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality1.in rw-r--r-- 1035/15 73 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality2.in rw-r--r-- 1035/15 163 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality3.in rw-r--r-- 1035/15 95 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality4.in rw-r--r-- 1035/15 93 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality5.in rw-r--r-- 1035/15 95 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality6.in rw-r--r-- 1035/15 121 Mar 18 12:26 1994 Life1.0/Tests/IN/disj1.in rw-r--r-- 1035/15 58 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality7.in rw-r--r-- 1035/15 226 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality8.in rw-r--r-- 1035/15 187 Mar 18 12:26 1994 Life1.0/Tests/IN/disequality9.in rw-r--r-- 1035/15 7 Mar 18 12:26 1994 Life1.0/Tests/IN/disj2.in rw-r--r-- 1035/15 41 Mar 18 12:26 1994 Life1.0/Tests/IN/disj3.in rw-r--r-- 1035/15 71 Mar 18 12:26 1994 Life1.0/Tests/IN/disj4.in rw-r--r-- 1035/15 21 Mar 18 12:26 1994 Life1.0/Tests/IN/disj5.in rw-r--r-- 1035/15 254 Mar 18 12:26 1994 Life1.0/Tests/IN/disj6.in rw-r--r-- 1035/15 274 Mar 18 12:26 1994 Life1.0/Tests/IN/disj7.in rw-r--r-- 1035/15 260 Mar 18 12:26 1994 Life1.0/Tests/IN/dissolve.in rw-r--r-- 1035/15 126 Mar 18 12:26 1994 Life1.0/Tests/IN/dynstat.in rw-r--r-- 1035/15 180 Mar 18 12:26 1994 Life1.0/Tests/IN/encapsulate.in rw-r--r-- 1035/15 69 Mar 18 12:26 1994 Life1.0/Tests/IN/eoftest.in rw-r--r-- 1035/15 72 Mar 18 12:26 1994 Life1.0/Tests/IN/eoftest2.in rw-r--r-- 1035/15 56 Mar 18 12:26 1994 Life1.0/Tests/IN/eoftest3.in rw-r--r-- 1035/15 86 Mar 18 12:26 1994 Life1.0/Tests/IN/eratosthenes.in rw-r--r-- 1035/15 27 Mar 18 12:26 1994 Life1.0/Tests/IN/example.in rw-r--r-- 1035/15 257 Mar 18 12:26 1994 Life1.0/Tests/IN/fact.in rw-r--r-- 1035/15 107 Mar 18 12:26 1994 Life1.0/Tests/IN/factorize.in rw-r--r-- 1035/15 0 Mar 18 12:26 1994 Life1.0/Tests/IN/fail.in rw-r--r-- 1035/15 55 Mar 18 12:26 1994 Life1.0/Tests/IN/feat_order.in rw-r--r-- 1035/15 77 Mar 18 12:26 1994 Life1.0/Tests/IN/featnames.in rw-r--r-- 1035/15 114 Mar 18 12:26 1994 Life1.0/Tests/IN/feature.in rw-r--r-- 1035/15 835 Mar 18 12:26 1994 Life1.0/Tests/IN/feature_module.in rw-r--r-- 1035/15 75 Mar 18 12:26 1994 Life1.0/Tests/IN/features1.in rw-r--r-- 1035/15 66 Mar 18 12:26 1994 Life1.0/Tests/IN/foo.in rw-r--r-- 1035/15 36 Mar 18 12:26 1994 Life1.0/Tests/IN/funcself.in rw-r--r-- 1035/15 33 Mar 18 12:26 1994 Life1.0/Tests/IN/function2.in rw-r--r-- 1035/15 60 Mar 18 12:26 1994 Life1.0/Tests/IN/fusil.in rw-r--r-- 1035/15 490 Mar 18 12:26 1994 Life1.0/Tests/IN/gauss.in rw-r--r-- 1035/15 290 Mar 18 12:26 1994 Life1.0/Tests/IN/gctest.in rw-r--r-- 1035/15 51 Mar 18 12:26 1994 Life1.0/Tests/IN/genint.in rw-r--r-- 1035/15 846 Mar 18 12:26 1994 Life1.0/Tests/IN/glb.in rw-r--r-- 1035/15 33 Mar 18 12:26 1994 Life1.0/Tests/IN/glblub.in rw-r--r-- 1035/15 99 Mar 18 12:26 1994 Life1.0/Tests/IN/glob_gc.in rw-r--r-- 1035/15 1132 Mar 18 12:26 1994 Life1.0/Tests/IN/glob_test2.in rw-r--r-- 1035/15 432 Mar 18 12:26 1994 Life1.0/Tests/IN/global.in rw-r--r-- 1035/15 36 Mar 18 12:26 1994 Life1.0/Tests/IN/global2.in rw-r--r-- 1035/15 66 Mar 18 12:26 1994 Life1.0/Tests/IN/global3.in rw-r--r-- 1035/15 3054 Mar 18 12:26 1994 Life1.0/Tests/IN/grammars.in rw-r--r-- 1035/15 33 Mar 18 12:26 1994 Life1.0/Tests/IN/hamming.in rw-r--r-- 1035/15 9 Mar 18 12:26 1994 Life1.0/Tests/IN/hanoi.in rw-r--r-- 1035/15 259 Mar 18 12:26 1994 Life1.0/Tests/IN/hasfeature.in rw-r--r-- 1035/15 20 Mar 18 12:26 1994 Life1.0/Tests/IN/inherit.in rw-r--r-- 1035/15 2662 Mar 18 12:26 1994 Life1.0/Tests/IN/intabs.in rw-r--r-- 1035/15 29 Mar 18 12:26 1994 Life1.0/Tests/IN/inttrace.in rw-r--r-- 1035/15 7 Mar 18 12:26 1994 Life1.0/Tests/IN/isatest.in rw-r--r-- 1035/15 42 Mar 18 12:26 1994 Life1.0/Tests/IN/isatest2.in rw-r--r-- 1035/15 7 Mar 18 12:26 1994 Life1.0/Tests/IN/junk.in rw-r--r-- 1035/15 120 Mar 18 12:26 1994 Life1.0/Tests/IN/lazyinherit.in rw-r--r-- 1035/15 14 Mar 18 12:26 1994 Life1.0/Tests/IN/lefun1.in rw-r--r-- 1035/15 8 Mar 18 12:26 1994 Life1.0/Tests/IN/lefun2.in rw-r--r-- 1035/15 3598 Mar 18 12:26 1994 Life1.0/Tests/IN/libstruct.in rw-r--r-- 1035/15 48 Mar 18 12:26 1994 Life1.0/Tests/IN/libtest.in rw-r--r-- 1035/15 69 Mar 18 12:26 1994 Life1.0/Tests/IN/list_bda.in rw-r--r-- 1035/15 417 Mar 18 12:26 1994 Life1.0/Tests/IN/listing1.in rw-r--r-- 1035/15 27 Mar 18 12:26 1994 Life1.0/Tests/IN/listing2.in rw-r--r-- 1035/15 0 Mar 18 12:26 1994 Life1.0/Tests/IN/loadquery.in rw-r--r-- 1035/15 2 Mar 18 12:26 1994 Life1.0/Tests/IN/long.in rw-r--r-- 1035/15 440 Mar 18 12:26 1994 Life1.0/Tests/IN/longstr.in rw-r--r-- 1035/15 846 Mar 18 12:26 1994 Life1.0/Tests/IN/lub.in rw-r--r-- 1035/15 36 Mar 18 12:26 1994 Life1.0/Tests/IN/machine.in rw-r--r-- 1035/15 35 Mar 18 12:26 1994 Life1.0/Tests/IN/magic.in rw-r--r-- 1035/15 762 Mar 18 12:26 1994 Life1.0/Tests/IN/makestr.in rw-r--r-- 1035/15 73 Mar 18 12:26 1994 Life1.0/Tests/IN/manual1.in rw-r--r-- 1035/15 176 Mar 18 12:26 1994 Life1.0/Tests/IN/manual10.in rw-r--r-- 1035/15 109 Mar 18 12:26 1994 Life1.0/Tests/IN/manual11.in rw-r--r-- 1035/15 129 Mar 18 12:26 1994 Life1.0/Tests/IN/manual2.in rw-r--r-- 1035/15 21 Mar 18 12:26 1994 Life1.0/Tests/IN/manual3.in rw-r--r-- 1035/15 24 Mar 18 12:26 1994 Life1.0/Tests/IN/manual4.in rw-r--r-- 1035/15 30 Mar 18 12:26 1994 Life1.0/Tests/IN/manual5.in rw-r--r-- 1035/15 49 Mar 18 12:26 1994 Life1.0/Tests/IN/manual6.in rw-r--r-- 1035/15 31 Mar 18 12:26 1994 Life1.0/Tests/IN/manual7.in rw-r--r-- 1035/15 34 Mar 18 12:26 1994 Life1.0/Tests/IN/manual8.in rw-r--r-- 1035/15 84 Mar 18 12:26 1994 Life1.0/Tests/IN/manual9.in rw-r--r-- 1035/15 5 Mar 18 12:26 1994 Life1.0/Tests/IN/many_types.in rw-r--r-- 1035/15 143 Mar 18 12:26 1994 Life1.0/Tests/IN/matrix.in rw-r--r-- 1035/15 102 Mar 18 12:26 1994 Life1.0/Tests/IN/module_test1.in rw-r--r-- 1035/15 102 Mar 18 12:26 1994 Life1.0/Tests/IN/module_test1a.in rw-r--r-- 1035/15 21 Mar 18 12:26 1994 Life1.0/Tests/IN/module_test2.in rw-r--r-- 1035/15 27 Mar 18 12:26 1994 Life1.0/Tests/IN/module_test3.in rw-r--r-- 1035/15 49 Mar 18 12:26 1994 Life1.0/Tests/IN/module_test4.in rw-r--r-- 1035/15 44 Mar 18 12:26 1994 Life1.0/Tests/IN/module_test5.in rw-r--r-- 1035/15 218 Mar 18 12:26 1994 Life1.0/Tests/IN/module_test6.in rw-r--r-- 1035/15 126 Mar 18 12:26 1994 Life1.0/Tests/IN/mort.in rw-r--r-- 1035/15 414 Mar 18 12:26 1994 Life1.0/Tests/IN/mresid.in rw-r--r-- 1035/15 1 Mar 18 12:26 1994 Life1.0/Tests/IN/n2.in rw-r--r-- 1035/15 47 Mar 18 12:26 1994 Life1.0/Tests/IN/naming.in rw-r--r-- 1035/15 2 Mar 18 12:26 1994 Life1.0/Tests/IN/nesting.in rw-r--r-- 1035/15 31 Mar 18 12:26 1994 Life1.0/Tests/IN/nicetest.in rw-r--r-- 1035/15 264 Mar 18 12:26 1994 Life1.0/Tests/IN/nl.in rw-r--r-- 1035/15 89 Mar 18 12:26 1994 Life1.0/Tests/IN/nofour.in rw-r--r-- 1035/15 34 Mar 18 12:26 1994 Life1.0/Tests/IN/nonstrict1.in rw-r--r-- 1035/15 143 Mar 18 12:26 1994 Life1.0/Tests/IN/nonstrict2.in rw-r--r-- 1035/15 80 Mar 18 12:26 1994 Life1.0/Tests/IN/nonstrict3.in rw-r--r-- 1035/15 90 Mar 18 12:26 1994 Life1.0/Tests/IN/nonstrict4.in rw-r--r-- 1035/15 214 Mar 18 12:26 1994 Life1.0/Tests/IN/nonstrict5.in rw-r--r-- 1035/15 298 Mar 18 12:26 1994 Life1.0/Tests/IN/nonvar.in rw-r--r-- 1035/15 201 Mar 18 12:26 1994 Life1.0/Tests/IN/not.in rw-r--r-- 1035/15 95 Mar 18 12:26 1994 Life1.0/Tests/IN/numeric.in rw-r--r-- 1035/15 29 Mar 18 12:26 1994 Life1.0/Tests/IN/op1.in rw-r--r-- 1035/15 211 Mar 18 12:26 1994 Life1.0/Tests/IN/op2.in rw-r--r-- 1035/15 177 Mar 18 12:26 1994 Life1.0/Tests/IN/op3.in rw-r--r-- 1035/15 14 Mar 18 12:26 1994 Life1.0/Tests/IN/order.in rw-r--r-- 1035/15 1 Mar 18 12:26 1994 Life1.0/Tests/IN/overload.in rw-r--r-- 1035/15 169 Mar 18 12:26 1994 Life1.0/Tests/IN/pagewidth.in rw-r--r-- 1035/15 145 Mar 18 12:26 1994 Life1.0/Tests/IN/parents.in rw-r--r-- 1035/15 355 Mar 18 12:26 1994 Life1.0/Tests/IN/parse.in rw-r--r-- 1035/15 54 Mar 18 12:26 1994 Life1.0/Tests/IN/parse2.in rw-r--r-- 1035/15 282 Mar 18 12:26 1994 Life1.0/Tests/IN/parser.in rw-r--r-- 1035/15 54 Mar 18 12:26 1994 Life1.0/Tests/IN/part.in rw-r--r-- 1035/15 146 Mar 18 12:26 1994 Life1.0/Tests/IN/peep.in rw-r--r-- 1035/15 69 Mar 18 12:26 1994 Life1.0/Tests/IN/pers2.in rw-r--r-- 1035/15 120 Mar 18 12:26 1994 Life1.0/Tests/IN/persistent.in rw-r--r-- 1035/15 71 Mar 18 12:26 1994 Life1.0/Tests/IN/persistent2.in rw-r--r-- 1035/15 175 Mar 18 12:26 1994 Life1.0/Tests/IN/person1.in rw-r--r-- 1035/15 19 Mar 18 12:26 1994 Life1.0/Tests/IN/person2.in rw-r--r-- 1035/15 2 Mar 18 12:26 1994 Life1.0/Tests/IN/posint.in rw-r--r-- 1035/15 72 Mar 18 12:26 1994 Life1.0/Tests/IN/power.in rw-r--r-- 1035/15 580 Mar 18 12:26 1994 Life1.0/Tests/IN/preparser.in rw-r--r-- 1035/15 67 Mar 18 12:26 1994 Life1.0/Tests/IN/prime.in rw-r--r-- 1035/15 108 Mar 18 12:26 1994 Life1.0/Tests/IN/print1.in rw-r--r-- 1035/15 514 Mar 18 12:26 1994 Life1.0/Tests/IN/print2.in rw-r--r-- 1035/15 569 Mar 18 12:26 1994 Life1.0/Tests/IN/print_depth1.in rw-r--r-- 1035/15 1358 Mar 18 12:26 1994 Life1.0/Tests/IN/print_depth2.in rw-r--r-- 1035/15 1017 Mar 18 12:26 1994 Life1.0/Tests/IN/print_test.in rw-r--r-- 1035/15 152 Mar 18 12:26 1994 Life1.0/Tests/IN/printvar.in rw-r--r-- 1035/15 1177 Mar 18 12:26 1994 Life1.0/Tests/IN/project1.in rw-r--r-- 1035/15 208 Mar 18 12:26 1994 Life1.0/Tests/IN/prove.in rw-r--r-- 1035/15 83 Mar 18 12:26 1994 Life1.0/Tests/IN/psi2str.in rw-r--r-- 1035/15 50 Mar 18 12:26 1994 Life1.0/Tests/IN/puke.in rw-r--r-- 1035/15 444 Mar 18 12:26 1994 Life1.0/Tests/IN/put_get.in rw-r--r-- 1035/15 90 Mar 18 12:26 1994 Life1.0/Tests/IN/pyth.in rw-r--r-- 1035/15 17 Mar 18 12:26 1994 Life1.0/Tests/IN/pyth2.in rw-r--r-- 1035/15 241 Mar 18 12:26 1994 Life1.0/Tests/IN/qsort1.in rw-r--r-- 1035/15 52 Mar 18 12:26 1994 Life1.0/Tests/IN/qsort2.in rw-r--r-- 1035/15 47 Mar 18 12:26 1994 Life1.0/Tests/IN/query_decl.in rw-r--r-- 1035/15 0 Mar 18 12:26 1994 Life1.0/Tests/IN/resid1.in rw-r--r-- 1035/15 206 Mar 18 12:26 1994 Life1.0/Tests/IN/resid2.in rw-r--r-- 1035/15 31 Mar 18 12:26 1994 Life1.0/Tests/IN/retract1.in rw-r--r-- 1035/15 32 Mar 18 12:26 1994 Life1.0/Tests/IN/retract2.in rw-r--r-- 1035/15 32 Mar 18 12:26 1994 Life1.0/Tests/IN/retract3.in rw-r--r-- 1035/15 34 Mar 18 12:26 1994 Life1.0/Tests/IN/retract4.in rw-r--r-- 1035/15 41 Mar 18 12:26 1994 Life1.0/Tests/IN/retract5.in rw-r--r-- 1035/15 11 Mar 18 12:26 1994 Life1.0/Tests/IN/retract6.in rw-r--r-- 1035/15 185 Mar 18 12:26 1994 Life1.0/Tests/IN/retract7.in rw-r--r-- 1035/15 28 Mar 18 12:26 1994 Life1.0/Tests/IN/rootsort.in rw-r--r-- 1035/15 65 Mar 18 12:26 1994 Life1.0/Tests/IN/rootsort2.in rw-r--r-- 1035/15 300 Mar 18 12:26 1994 Life1.0/Tests/IN/schedule1.in rw-r--r-- 1035/15 300 Mar 18 12:26 1994 Life1.0/Tests/IN/schedule2.in rw-r--r-- 1035/15 89 Mar 18 12:26 1994 Life1.0/Tests/IN/school.in rw-r--r-- 1035/15 174 Mar 18 12:26 1994 Life1.0/Tests/IN/self.in rw-r--r-- 1035/15 78 Mar 18 12:26 1994 Life1.0/Tests/IN/share.in rw-r--r-- 1035/15 80 Mar 18 12:26 1994 Life1.0/Tests/IN/simp_eqn.in rw-r--r-- 1035/15 7 Mar 18 12:26 1994 Life1.0/Tests/IN/smalltwente.in rw-r--r-- 1035/15 7 Mar 18 12:26 1994 Life1.0/Tests/IN/smm.in rw-r--r-- 1035/15 79 Mar 18 12:26 1994 Life1.0/Tests/IN/soap.in rw-r--r-- 1035/15 68 Mar 18 12:26 1994 Life1.0/Tests/IN/sortcycle1.in rw-r--r-- 1035/15 0 Mar 18 12:26 1994 Life1.0/Tests/IN/sortcycle2.in rw-r--r-- 1035/15 253 Mar 18 12:26 1994 Life1.0/Tests/IN/sortcycle3.in rw-r--r-- 1035/15 68 Mar 18 12:26 1994 Life1.0/Tests/IN/sortcycle4.in rw-r--r-- 1035/15 0 Mar 18 12:26 1994 Life1.0/Tests/IN/sortcycle5.in rw-r--r-- 1035/15 255 Mar 18 12:26 1994 Life1.0/Tests/IN/str.in rw-r--r-- 1035/15 19 Mar 18 12:26 1994 Life1.0/Tests/IN/str2psi.in rw-r--r-- 1035/15 2 Mar 18 12:26 1994 Life1.0/Tests/IN/strbug.in rw-r--r-- 1035/15 240 Mar 18 12:26 1994 Life1.0/Tests/IN/streams.in rw-r--r-- 1035/15 472 Mar 18 12:26 1994 Life1.0/Tests/IN/sub.in rw-r--r-- 1035/15 99 Mar 18 12:26 1994 Life1.0/Tests/IN/subs.in rw-r--r-- 1035/15 168 Mar 18 12:26 1994 Life1.0/Tests/IN/subsort.in rw-r--r-- 1035/15 770 Mar 18 12:26 1994 Life1.0/Tests/IN/t.in rw-r--r-- 1035/15 62 Mar 18 12:26 1994 Life1.0/Tests/IN/t3201.in rw-r--r-- 1035/15 166 Mar 18 12:26 1994 Life1.0/Tests/IN/t3202.in rw-r--r-- 1035/15 90 Mar 18 12:26 1994 Life1.0/Tests/IN/t3203.in rw-r--r-- 1035/15 112 Mar 18 12:27 1994 Life1.0/Tests/IN/t3204.in rw-r--r-- 1035/15 248 Mar 18 12:27 1994 Life1.0/Tests/IN/t3205.in rw-r--r-- 1035/15 154 Mar 18 12:27 1994 Life1.0/Tests/IN/t3206.in rw-r--r-- 1035/15 2 Mar 18 12:27 1994 Life1.0/Tests/IN/t3207.in rw-r--r-- 1035/15 60 Mar 18 12:27 1994 Life1.0/Tests/IN/t4105.in rw-r--r-- 1035/15 33 Mar 18 12:27 1994 Life1.0/Tests/IN/t4202.in rw-r--r-- 1035/15 56 Mar 18 12:27 1994 Life1.0/Tests/IN/t4502.in rw-r--r-- 1035/15 10 Mar 18 12:27 1994 Life1.0/Tests/IN/t4505.in rw-r--r-- 1035/15 62 Mar 18 12:27 1994 Life1.0/Tests/IN/t8101.in rw-r--r-- 1035/15 84 Mar 18 12:27 1994 Life1.0/Tests/IN/t8102.in rw-r--r-- 1035/15 61 Mar 18 12:27 1994 Life1.0/Tests/IN/t8103.in rw-r--r-- 1035/15 214 Mar 18 12:27 1994 Life1.0/Tests/IN/t8104.in rw-r--r-- 1035/15 10 Mar 18 12:27 1994 Life1.0/Tests/IN/t8105.in rw-r--r-- 1035/15 129 Mar 18 12:27 1994 Life1.0/Tests/IN/tan.in rw-r--r-- 1035/15 457 Mar 18 12:27 1994 Life1.0/Tests/IN/termsize.in rw-r--r-- 1035/15 86 Mar 18 12:27 1994 Life1.0/Tests/IN/test00.in rw-r--r-- 1035/15 9 Mar 18 12:27 1994 Life1.0/Tests/IN/test03.in rw-r--r-- 1035/15 22 Mar 18 12:27 1994 Life1.0/Tests/IN/test04.in rw-r--r-- 1035/15 954 Mar 18 12:27 1994 Life1.0/Tests/IN/testprof.in rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/IN/testsl.in rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/IN/testslc.in rw-r--r-- 1035/15 192 Mar 18 12:27 1994 Life1.0/Tests/IN/titi.in rw-r--r-- 1035/15 312 Mar 18 12:27 1994 Life1.0/Tests/IN/tri_ins.in rw-r--r-- 1035/15 99 Mar 18 12:27 1994 Life1.0/Tests/IN/tripeq.in rw-r--r-- 1035/15 175 Mar 18 12:27 1994 Life1.0/Tests/IN/two_bugs.in rw-r--r-- 1035/15 86 Mar 18 12:27 1994 Life1.0/Tests/IN/typedisj.in rw-r--r-- 1035/15 54 Mar 18 12:27 1994 Life1.0/Tests/IN/unary.in rw-r--r-- 1035/15 594 Mar 18 12:27 1994 Life1.0/Tests/IN/unify.in rw-r--r-- 1035/15 116 Mar 18 12:27 1994 Life1.0/Tests/IN/varlevel.in rw-r--r-- 1035/15 425 Mar 18 12:27 1994 Life1.0/Tests/IN/varlevel2.in rw-r--r-- 1035/15 175 Mar 18 12:27 1994 Life1.0/Tests/IN/volanski1.in rw-r--r-- 1035/15 68 Mar 18 12:27 1994 Life1.0/Tests/IN/wam.in rw-r--r-- 1035/15 72 Mar 18 12:27 1994 Life1.0/Tests/IN/wambruno.in rw-r--r-- 1035/15 162 Mar 18 12:27 1994 Life1.0/Tests/IN/wlife.in rw-r--r-- 1035/15 1328 Mar 18 12:27 1994 Life1.0/Tests/IN/write.in rw-r--r-- 1035/15 927 Mar 18 12:27 1994 Life1.0/Tests/IN/writeq.in rw-r--r-- 1035/15 336 Mar 18 12:27 1994 Life1.0/Tests/IN/xor.in rw-r--r-- 1035/15 9 Mar 18 12:27 1994 Life1.0/Tests/IN/z_comb.in rw-r--r-- 1035/15 1351 Mar 18 12:27 1994 Life1.0/Tests/IN/z_cut2.in rw-r--r-- 1035/15 7 Mar 18 12:27 1994 Life1.0/Tests/IN/z_gcsimp.in rw-r--r-- 1035/15 28 Mar 18 12:27 1994 Life1.0/Tests/IN/z_gctoken1.in rw-r--r-- 1035/15 7 Mar 18 12:27 1994 Life1.0/Tests/IN/z_gctoken2.in rw-r--r-- 1035/15 7 Mar 18 12:27 1994 Life1.0/Tests/IN/z_maurice.in rw-r--r-- 1035/15 14 Mar 18 12:27 1994 Life1.0/Tests/IN/z_power_4.in rw-r--r-- 1035/15 126 Mar 18 12:27 1994 Life1.0/Tests/IN/z_pyth_gc.in rw-r--r-- 1035/15 80 Mar 18 12:27 1994 Life1.0/Tests/IN/alias.in rw-r--r-- 1035/15 102 Mar 18 12:27 1994 Life1.0/Tests/IN/errordecl.in rw-r--r-- 1035/15 60 Mar 18 12:27 1994 Life1.0/Tests/IN/project2.in rw-r--r-- 1035/15 83 Mar 18 12:27 1994 Life1.0/Tests/IN/compose2.in rw-r--r-- 1035/15 245 Mar 18 12:27 1994 Life1.0/Tests/IN/curry14.in rw-r--r-- 1035/15 101 Mar 18 12:27 1994 Life1.0/Tests/IN/curry15.in rw-r--r-- 1035/15 85 Mar 18 12:27 1994 Life1.0/Tests/IN/charcode.in rw-r--r-- 1035/15 99 Mar 18 12:27 1994 Life1.0/Tests/IN/andor14.in rw-r--r-- 1035/15 176 Mar 18 12:27 1994 Life1.0/Tests/IN/strip.in rw-r--r-- 1035/15 51 Mar 18 12:27 1994 Life1.0/Tests/IN/intlist.in rw-r--r-- 1035/15 739 Mar 18 12:27 1994 Life1.0/Tests/IN/curry6.in rw-r--r-- 1035/15 217 Mar 18 12:27 1994 Life1.0/Tests/IN/curry7.in rw-r--r-- 1035/15 254 Mar 18 12:27 1994 Life1.0/Tests/IN/profiler1.in rw-r--r-- 1035/15 235 Mar 18 12:27 1994 Life1.0/Tests/IN/profiler2.in rw-r--r-- 1035/15 27 Mar 18 12:27 1994 Life1.0/Tests/IN/lazy.in rw-r--r-- 1035/15 299 Mar 18 12:27 1994 Life1.0/Tests/IN/caret.in rw-r--r-- 1035/15 215 Mar 18 12:27 1994 Life1.0/Tests/IN/profiler3.in rw-r--r-- 1035/15 733 Mar 18 12:27 1994 Life1.0/Tests/IN/canonical.in rw-r--r-- 1035/15 34 Mar 18 12:27 1994 Life1.0/Tests/IN/random.in rw-r--r-- 1035/15 141 Mar 18 12:27 1994 Life1.0/Tests/IN/bitnot.in rw-r--r-- 1035/15 409 Mar 18 12:27 1994 Life1.0/Tests/IN/intdiv.in rw-r--r-- 1035/15 494 Mar 18 12:27 1994 Life1.0/Tests/IN/intdiv2.in rw-r--r-- 1035/15 95 Mar 18 12:27 1994 Life1.0/Tests/IN/curry8.in rw-r--r-- 1035/15 64 Mar 18 12:27 1994 Life1.0/Tests/IN/intdiv3.in rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/IN/comp_struct.in rw-r--r-- 1035/15 223 Mar 18 12:27 1994 Life1.0/Tests/IN/boolpred.in rw-r--r-- 1035/15 43 Mar 18 12:27 1994 Life1.0/Tests/IN/featval.in rw-r--r-- 1035/15 180 Mar 18 12:27 1994 Life1.0/Tests/IN/project3.in rw-r--r-- 1035/15 215 Mar 18 12:27 1994 Life1.0/Tests/IN/extest.in rw-r--r-- 1035/15 144 Mar 18 12:27 1994 Life1.0/Tests/IN/boolpred2.in rw-r--r-- 1035/15 57 Mar 18 12:27 1994 Life1.0/Tests/IN/condpred.in rw-r--r-- 1035/15 148 Mar 18 12:27 1994 Life1.0/Tests/IN/call1.in rw-r--r-- 1035/15 54 Mar 18 12:27 1994 Life1.0/Tests/IN/dupfeat.in rwxrwxrwx 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/LF/ rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/aborthook.lf rw-r--r-- 1035/15 844 Mar 18 12:27 1994 Life1.0/Tests/LF/addtab.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/alias.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/andor1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/andor2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/andor3.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/andor4.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/andor5.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/another_bug.lf rw-r--r-- 1035/15 41 Mar 18 12:27 1994 Life1.0/Tests/LF/anyorder.lf rw-r--r-- 1035/15 1756 Mar 18 12:27 1994 Life1.0/Tests/LF/append.lf rw-r--r-- 1035/15 237 Mar 18 12:27 1994 Life1.0/Tests/LF/apply.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith3.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith4.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith5.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith6.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith7.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith8.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/arith9.lf rw-r--r-- 1035/15 901 Mar 18 12:27 1994 Life1.0/Tests/LF/assert1.lf rw-r--r-- 1035/15 467 Mar 18 12:27 1994 Life1.0/Tests/LF/assert2.lf rw-r--r-- 1035/15 465 Mar 18 12:27 1994 Life1.0/Tests/LF/assert3.lf rw-r--r-- 1035/15 3 Mar 18 12:27 1994 Life1.0/Tests/LF/assert4.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/babcode.lf rw-r--r-- 1035/15 66504 Mar 18 12:27 1994 Life1.0/Tests/LF/babel.lf rw-r--r-- 1035/15 216 Mar 18 12:27 1994 Life1.0/Tests/LF/bagof1.lf rw-r--r-- 1035/15 24 Mar 18 12:27 1994 Life1.0/Tests/LF/bagof2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/bagof3.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/bagof4.lf rw-r--r-- 1035/15 110 Mar 18 12:27 1994 Life1.0/Tests/LF/bagof5.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/bagof6.lf rw-r--r-- 1035/15 646 Mar 18 12:27 1994 Life1.0/Tests/LF/bigstr.lf rw-r--r-- 1035/15 2 Mar 18 12:27 1994 Life1.0/Tests/LF/bk_assign.lf rw-r--r-- 1035/15 1751 Mar 18 12:27 1994 Life1.0/Tests/LF/boites1.lf rw-r--r-- 1035/15 2871 Mar 18 12:27 1994 Life1.0/Tests/LF/boites2.lf rw-r--r-- 1035/15 1189 Mar 18 12:27 1994 Life1.0/Tests/LF/bruno_disj.lf rw-r--r-- 1035/15 2074 Mar 18 12:27 1994 Life1.0/Tests/LF/brunobug.lf rw-r--r-- 1035/15 3671 Mar 18 12:27 1994 Life1.0/Tests/LF/cb.lf rw-r--r-- 1035/15 2452 Mar 18 12:27 1994 Life1.0/Tests/LF/chapla.lf rw-r--r-- 1035/15 2577 Mar 18 12:27 1994 Life1.0/Tests/LF/chart_parser1.lf rw-r--r-- 1035/15 2595 Mar 18 12:27 1994 Life1.0/Tests/LF/chart_parser2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/children.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/choice.lf rw-r--r-- 1035/15 117 Mar 18 12:27 1994 Life1.0/Tests/LF/clause.lf rw-r--r-- 1035/15 204 Mar 18 12:27 1994 Life1.0/Tests/LF/compose.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/constr.lf rw-r--r-- 1035/15 3713 Mar 18 12:27 1994 Life1.0/Tests/LF/copy1.lf rw-r--r-- 1035/15 3697 Mar 18 12:27 1994 Life1.0/Tests/LF/copy2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/copy3.lf rw-r--r-- 1035/15 820 Mar 18 12:27 1994 Life1.0/Tests/LF/copyfile.lf rw-r--r-- 1035/15 27 Mar 18 12:27 1994 Life1.0/Tests/LF/curry1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/curry2.lf rw-r--r-- 1035/15 201 Mar 18 12:27 1994 Life1.0/Tests/LF/curry3.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/curry4.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/curry5.lf rw-r--r-- 1035/15 42 Mar 18 12:27 1994 Life1.0/Tests/LF/cut2.lf rw-r--r-- 1035/15 63 Mar 18 12:27 1994 Life1.0/Tests/LF/cut3.lf rw-r--r-- 1035/15 363 Mar 18 12:27 1994 Life1.0/Tests/LF/cycles1.lf rw-r--r-- 1035/15 374 Mar 18 12:27 1994 Life1.0/Tests/LF/cycles2.lf rw-r--r-- 1035/15 212 Mar 18 12:27 1994 Life1.0/Tests/LF/debug.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/decl.lf rw-r--r-- 1035/15 119 Mar 18 12:27 1994 Life1.0/Tests/LF/delay.lf rw-r--r-- 1035/15 89 Mar 18 12:27 1994 Life1.0/Tests/LF/delay2.lf rw-r--r-- 1035/15 388 Mar 18 12:27 1994 Life1.0/Tests/LF/dichotomy.lf rw-r--r-- 1035/15 746 Mar 18 12:27 1994 Life1.0/Tests/LF/dict.lf rw-r--r-- 1035/15 164 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality1.lf rw-r--r-- 1035/15 30 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality2.lf rw-r--r-- 1035/15 70 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality3.lf rw-r--r-- 1035/15 34 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality4.lf rw-r--r-- 1035/15 16 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality5.lf rw-r--r-- 1035/15 53 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality6.lf rw-r--r-- 1035/15 12 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality7.lf rw-r--r-- 1035/15 81 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality8.lf rw-r--r-- 1035/15 106 Mar 18 12:27 1994 Life1.0/Tests/LF/disequality9.lf rw-r--r-- 1035/15 2 Mar 18 12:27 1994 Life1.0/Tests/LF/disj1.lf rw-r--r-- 1035/15 2502 Mar 18 12:27 1994 Life1.0/Tests/LF/disj2.lf rw-r--r-- 1035/15 90 Mar 18 12:27 1994 Life1.0/Tests/LF/disj3.lf rw-r--r-- 1035/15 2 Mar 18 12:27 1994 Life1.0/Tests/LF/disj4.lf rw-r--r-- 1035/15 26 Mar 18 12:27 1994 Life1.0/Tests/LF/disj5.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/disj6.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/disj7.lf rw-r--r-- 1035/15 8733 Mar 18 12:27 1994 Life1.0/Tests/LF/dissolve.lf rw-r--r-- 1035/15 2 Mar 18 12:27 1994 Life1.0/Tests/LF/dynstat.lf rw-r--r-- 1035/15 497 Mar 18 12:27 1994 Life1.0/Tests/LF/encapsulate.lf rw-r--r-- 1035/15 85 Mar 18 12:27 1994 Life1.0/Tests/LF/eoftest.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/eoftest2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/eoftest3.lf rw-r--r-- 1035/15 466 Mar 18 12:27 1994 Life1.0/Tests/LF/eratosthenes.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/example.lf rw-r--r-- 1035/15 2861 Mar 18 12:27 1994 Life1.0/Tests/LF/fact.lf rw-r--r-- 1035/15 338 Mar 18 12:27 1994 Life1.0/Tests/LF/factorize.lf rw-r--r-- 1035/15 44 Mar 18 12:27 1994 Life1.0/Tests/LF/fail.lf rw-r--r-- 1035/15 1279 Mar 18 12:27 1994 Life1.0/Tests/LF/feat_order.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/featnames.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/feature.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/feature_module.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/features1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/foo.lf rw-r--r-- 1035/15 51 Mar 18 12:27 1994 Life1.0/Tests/LF/funcself.lf rw-r--r-- 1035/15 36 Mar 18 12:27 1994 Life1.0/Tests/LF/function2.lf rw-r--r-- 1035/15 98 Mar 18 12:27 1994 Life1.0/Tests/LF/fusil.lf rw-r--r-- 1035/15 10836 Mar 18 12:27 1994 Life1.0/Tests/LF/gauss.lf rw-r--r-- 1035/15 37 Mar 18 12:27 1994 Life1.0/Tests/LF/gctest.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/genint.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/glb.lf rw-r--r-- 1035/15 33 Mar 18 12:27 1994 Life1.0/Tests/LF/glblub.lf rw-r--r-- 1035/15 841 Mar 18 12:27 1994 Life1.0/Tests/LF/glob_gc.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/glob_test2.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/global.lf rw-r--r-- 1035/15 111 Mar 18 12:27 1994 Life1.0/Tests/LF/global2.lf rw-r--r-- 1035/15 92 Mar 18 12:27 1994 Life1.0/Tests/LF/global3.lf rw-r--r-- 1035/15 1264 Mar 18 12:27 1994 Life1.0/Tests/LF/grammars.lf rw-r--r-- 1035/15 515 Mar 18 12:27 1994 Life1.0/Tests/LF/hamming.lf rw-r--r-- 1035/15 428 Mar 18 12:27 1994 Life1.0/Tests/LF/hanoi.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/hasfeature.lf rw-r--r-- 1035/15 1395 Mar 18 12:27 1994 Life1.0/Tests/LF/inherit.lf rw-r--r-- 1035/15 19687 Mar 18 12:27 1994 Life1.0/Tests/LF/intabs.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/inttrace.lf rw-r--r-- 1035/15 2795 Mar 18 12:27 1994 Life1.0/Tests/LF/isatest.lf rw-r--r-- 1035/15 610 Mar 18 12:27 1994 Life1.0/Tests/LF/junk.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/isatest2.lf rw-r--r-- 1035/15 235 Mar 18 12:27 1994 Life1.0/Tests/LF/lazyinherit.lf rw-r--r-- 1035/15 129 Mar 18 12:27 1994 Life1.0/Tests/LF/lefun1.lf rw-r--r-- 1035/15 180 Mar 18 12:27 1994 Life1.0/Tests/LF/lefun2.lf rw-r--r-- 1035/15 124 Mar 18 12:27 1994 Life1.0/Tests/LF/libstruct.lf rw-r--r-- 1035/15 1279 Mar 18 12:27 1994 Life1.0/Tests/LF/libtest.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/list_bda.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/listing1.lf rw-r--r-- 1035/15 82 Mar 18 12:27 1994 Life1.0/Tests/LF/listing2.lf rw-r--r-- 1035/15 53 Mar 18 12:27 1994 Life1.0/Tests/LF/loadquery.lf rw-r--r-- 1035/15 2105 Mar 18 12:27 1994 Life1.0/Tests/LF/long.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/longstr.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/lub.lf rw-r--r-- 1035/15 3864 Mar 18 12:27 1994 Life1.0/Tests/LF/machine.lf rw-r--r-- 1035/15 1989 Mar 18 12:27 1994 Life1.0/Tests/LF/magic.lf rw-r--r-- 1035/15 315 Mar 18 12:27 1994 Life1.0/Tests/LF/makestr.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/manual1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/manual10.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/manual11.lf rw-r--r-- 1035/15 158 Mar 18 12:27 1994 Life1.0/Tests/LF/manual2.lf rw-r--r-- 1035/15 144 Mar 18 12:27 1994 Life1.0/Tests/LF/manual3.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/manual4.lf rw-r--r-- 1035/15 51 Mar 18 12:27 1994 Life1.0/Tests/LF/manual5.lf rw-r--r-- 1035/15 132 Mar 18 12:27 1994 Life1.0/Tests/LF/manual6.lf rw-r--r-- 1035/15 230 Mar 18 12:27 1994 Life1.0/Tests/LF/manual7.lf rw-r--r-- 1035/15 98 Mar 18 12:27 1994 Life1.0/Tests/LF/manual8.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/manual9.lf rw-r--r-- 1035/15 738 Mar 18 12:27 1994 Life1.0/Tests/LF/many_types.lf rw-r--r-- 1035/15 1327 Mar 18 12:27 1994 Life1.0/Tests/LF/matrix.lf rw-r--r-- 1035/15 470 Mar 18 12:27 1994 Life1.0/Tests/LF/module_test1.lf rw-r--r-- 1035/15 470 Mar 18 12:27 1994 Life1.0/Tests/LF/module_test1a.lf rw-r--r-- 1035/15 53 Mar 18 12:27 1994 Life1.0/Tests/LF/module_test2.lf rw-r--r-- 1035/15 81 Mar 18 12:27 1994 Life1.0/Tests/LF/module_test3.lf rw-r--r-- 1035/15 85 Mar 18 12:27 1994 Life1.0/Tests/LF/module_test4.lf rw-r--r-- 1035/15 148 Mar 18 12:27 1994 Life1.0/Tests/LF/module_test5.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/module_test6.lf rw-r--r-- 1035/15 186 Mar 18 12:27 1994 Life1.0/Tests/LF/mort.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/mresid.lf rw-r--r-- 1035/15 316 Mar 18 12:27 1994 Life1.0/Tests/LF/n2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/naming.lf rw-r--r-- 1035/15 131 Mar 18 12:27 1994 Life1.0/Tests/LF/nesting.lf rw-r--r-- 1035/15 21 Mar 18 12:27 1994 Life1.0/Tests/LF/nicetest.lf rw-r--r-- 1035/15 15331 Mar 18 12:27 1994 Life1.0/Tests/LF/nl.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/nofour.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/nonstrict1.lf rw-r--r-- 1035/15 29 Mar 18 12:27 1994 Life1.0/Tests/LF/nonstrict2.lf rw-r--r-- 1035/15 84 Mar 18 12:27 1994 Life1.0/Tests/LF/nonstrict3.lf rw-r--r-- 1035/15 573 Mar 18 12:27 1994 Life1.0/Tests/LF/nonstrict4.lf rw-r--r-- 1035/15 9 Mar 18 12:27 1994 Life1.0/Tests/LF/nonstrict5.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/nonvar.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/not.lf rw-r--r-- 1035/15 583 Mar 18 12:27 1994 Life1.0/Tests/LF/numeric.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/op1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/op2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/op3.lf rw-r--r-- 1035/15 128 Mar 18 12:27 1994 Life1.0/Tests/LF/order.lf rw-r--r-- 1035/15 215 Mar 18 12:27 1994 Life1.0/Tests/LF/overload.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/pagewidth.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/parents.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/parse.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/parse2.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/parser.lf rw-r--r-- 1035/15 384 Mar 18 12:27 1994 Life1.0/Tests/LF/part.lf rw-r--r-- 1035/15 1400 Mar 18 12:27 1994 Life1.0/Tests/LF/peep.lf rw-r--r-- 1035/15 395 Mar 18 12:27 1994 Life1.0/Tests/LF/pers2.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/persistent.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/persistent2.lf rw-r--r-- 1035/15 117 Mar 18 12:27 1994 Life1.0/Tests/LF/person1.lf rw-r--r-- 1035/15 215 Mar 18 12:27 1994 Life1.0/Tests/LF/person2.lf rw-r--r-- 1035/15 1386 Mar 18 12:27 1994 Life1.0/Tests/LF/posint.lf rw-r--r-- 1035/15 476 Mar 18 12:27 1994 Life1.0/Tests/LF/power.lf rw-r--r-- 1035/15 12977 Mar 18 12:27 1994 Life1.0/Tests/LF/preparser.lf rw-r--r-- 1035/15 1168 Mar 18 12:27 1994 Life1.0/Tests/LF/prime.lf rw-r--r-- 1035/15 49 Mar 18 12:27 1994 Life1.0/Tests/LF/puke.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/print1.lf rw-r--r-- 1035/15 43 Mar 18 12:27 1994 Life1.0/Tests/LF/print2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/print_depth1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/print_depth2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/print_test.lf rw-r--r-- 1035/15 190 Mar 18 12:27 1994 Life1.0/Tests/LF/printvar.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/project1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/prove.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/psi2str.lf rw-r--r-- 1035/15 361 Mar 18 12:27 1994 Life1.0/Tests/LF/put_get.lf rw-r--r-- 1035/15 486 Mar 18 12:27 1994 Life1.0/Tests/LF/pyth.lf rw-r--r-- 1035/15 287 Mar 18 12:27 1994 Life1.0/Tests/LF/pyth2.lf rw-r--r-- 1035/15 709 Mar 18 12:27 1994 Life1.0/Tests/LF/qsort1.lf rw-r--r-- 1035/15 951 Mar 18 12:27 1994 Life1.0/Tests/LF/qsort2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/query_decl.lf rw-r--r-- 1035/15 380 Mar 18 12:27 1994 Life1.0/Tests/LF/resid1.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/resid2.lf rw-r--r-- 1035/15 82 Mar 18 12:27 1994 Life1.0/Tests/LF/retract1.lf rw-r--r-- 1035/15 82 Mar 18 12:27 1994 Life1.0/Tests/LF/retract2.lf rw-r--r-- 1035/15 82 Mar 18 12:27 1994 Life1.0/Tests/LF/retract3.lf rw-r--r-- 1035/15 82 Mar 18 12:27 1994 Life1.0/Tests/LF/retract4.lf rw-r--r-- 1035/15 82 Mar 18 12:27 1994 Life1.0/Tests/LF/retract5.lf rw-r--r-- 1035/15 245 Mar 18 12:27 1994 Life1.0/Tests/LF/retract6.lf rw-r--r-- 1035/15 166 Mar 18 12:27 1994 Life1.0/Tests/LF/retract7.lf rw-r--r-- 1035/15 11 Mar 18 12:27 1994 Life1.0/Tests/LF/rootsort.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/rootsort2.lf rw-r--r-- 1035/15 1273 Mar 18 12:27 1994 Life1.0/Tests/LF/schedule1.lf rw-r--r-- 1035/15 1277 Mar 18 12:27 1994 Life1.0/Tests/LF/schedule2.lf rw-r--r-- 1035/15 705 Mar 18 12:27 1994 Life1.0/Tests/LF/school.lf rw-r--r-- 1035/15 35 Mar 18 12:27 1994 Life1.0/Tests/LF/self.lf rw-r--r-- 1035/15 949 Mar 18 12:27 1994 Life1.0/Tests/LF/share.lf rw-r--r-- 1035/15 144 Mar 18 12:27 1994 Life1.0/Tests/LF/simp_eqn.lf rw-r--r-- 1035/15 10074 Mar 18 12:27 1994 Life1.0/Tests/LF/smalltwente.lf rw-r--r-- 1035/15 1558 Mar 18 12:27 1994 Life1.0/Tests/LF/smm.lf rw-r--r-- 1035/15 775 Mar 18 12:27 1994 Life1.0/Tests/LF/soap.lf rw-r--r-- 1035/15 218 Mar 18 12:27 1994 Life1.0/Tests/LF/sortcycle1.lf rw-r--r-- 1035/15 253 Mar 18 12:27 1994 Life1.0/Tests/LF/sortcycle2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/sortcycle3.lf rw-r--r-- 1035/15 218 Mar 18 12:27 1994 Life1.0/Tests/LF/sortcycle4.lf rw-r--r-- 1035/15 253 Mar 18 12:27 1994 Life1.0/Tests/LF/sortcycle5.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/str.lf rw-r--r-- 1035/15 11 Mar 18 12:27 1994 Life1.0/Tests/LF/str2psi.lf rw-r--r-- 1035/15 140 Mar 18 12:27 1994 Life1.0/Tests/LF/strbug.lf rw-r--r-- 1035/15 832 Mar 18 12:27 1994 Life1.0/Tests/LF/streams.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/sub.lf rw-r--r-- 1035/15 523 Mar 18 12:27 1994 Life1.0/Tests/LF/subs.lf rw-r--r-- 1035/15 1278 Mar 18 12:27 1994 Life1.0/Tests/LF/subsort.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/t.lf rw-r--r-- 1035/15 796 Mar 18 12:27 1994 Life1.0/Tests/LF/t3201.lf rw-r--r-- 1035/15 174 Mar 18 12:27 1994 Life1.0/Tests/LF/t3202.lf rw-r--r-- 1035/15 87 Mar 18 12:27 1994 Life1.0/Tests/LF/t3203.lf rw-r--r-- 1035/15 151 Mar 18 12:27 1994 Life1.0/Tests/LF/t3204.lf rw-r--r-- 1035/15 287 Mar 18 12:27 1994 Life1.0/Tests/LF/t3205.lf rw-r--r-- 1035/15 879 Mar 18 12:27 1994 Life1.0/Tests/LF/t3206.lf rw-r--r-- 1035/15 1200 Mar 18 12:27 1994 Life1.0/Tests/LF/t3207.lf rw-r--r-- 1035/15 57 Mar 18 12:27 1994 Life1.0/Tests/LF/t4105.lf rw-r--r-- 1035/15 72 Mar 18 12:27 1994 Life1.0/Tests/LF/t4202.lf rw-r--r-- 1035/15 20 Mar 18 12:27 1994 Life1.0/Tests/LF/t4502.lf rw-r--r-- 1035/15 143 Mar 18 12:27 1994 Life1.0/Tests/LF/t4505.lf rw-r--r-- 1035/15 170 Mar 18 12:27 1994 Life1.0/Tests/LF/t8101.lf rw-r--r-- 1035/15 121 Mar 18 12:27 1994 Life1.0/Tests/LF/t8102.lf rw-r--r-- 1035/15 116 Mar 18 12:27 1994 Life1.0/Tests/LF/t8103.lf rw-r--r-- 1035/15 551 Mar 18 12:27 1994 Life1.0/Tests/LF/t8104.lf rw-r--r-- 1035/15 26 Mar 18 12:27 1994 Life1.0/Tests/LF/t8105.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/tan.lf rw-r--r-- 1035/15 813 Mar 18 12:27 1994 Life1.0/Tests/LF/termsize.lf rw-r--r-- 1035/15 504 Mar 18 12:27 1994 Life1.0/Tests/LF/test00.lf rw-r--r-- 1035/15 100 Mar 18 12:27 1994 Life1.0/Tests/LF/test03.lf rw-r--r-- 1035/15 1137 Mar 18 12:27 1994 Life1.0/Tests/LF/test04.lf rw-r--r-- 1035/15 935 Mar 18 12:27 1994 Life1.0/Tests/LF/testprof.lf rw-r--r-- 1035/15 116 Mar 18 12:27 1994 Life1.0/Tests/LF/testsl.lf rw-r--r-- 1035/15 325 Mar 18 12:27 1994 Life1.0/Tests/LF/testslc.lf rw-r--r-- 1035/15 311 Mar 18 12:27 1994 Life1.0/Tests/LF/titi.lf rw-r--r-- 1035/15 1501 Mar 18 12:27 1994 Life1.0/Tests/LF/tri_ins.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/tripeq.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/two_bugs.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/typedisj.lf rw-r--r-- 1035/15 1 Mar 18 12:27 1994 Life1.0/Tests/LF/unary.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/unify.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/varlevel.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/varlevel2.lf rw-r--r-- 1035/15 2085 Mar 18 12:27 1994 Life1.0/Tests/LF/volanski1.lf rw-r--r-- 1035/15 2207 Mar 18 12:27 1994 Life1.0/Tests/LF/wam.lf rw-r--r-- 1035/15 7727 Mar 18 12:27 1994 Life1.0/Tests/LF/wambruno.lf rw-r--r-- 1035/15 925 Mar 18 12:27 1994 Life1.0/Tests/LF/wlife.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/write.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/writeq.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/xor.lf rw-r--r-- 1035/15 7174 Mar 18 12:27 1994 Life1.0/Tests/LF/z_comb.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/z_cut2.lf rw-r--r-- 1035/15 932 Mar 18 12:27 1994 Life1.0/Tests/LF/z_gcsimp.lf rw-r--r-- 1035/15 9631 Mar 18 12:27 1994 Life1.0/Tests/LF/z_gctoken1.lf rw-r--r-- 1035/15 9714 Mar 18 12:27 1994 Life1.0/Tests/LF/z_gctoken2.lf rw-r--r-- 1035/15 293 Mar 18 12:27 1994 Life1.0/Tests/LF/z_maurice.lf rw-r--r-- 1035/15 767 Mar 18 12:27 1994 Life1.0/Tests/LF/z_power_4.lf rw-r--r-- 1035/15 502 Mar 18 12:27 1994 Life1.0/Tests/LF/z_pyth_gc.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/errordecl.lf rw-r--r-- 1035/15 204 Mar 18 12:27 1994 Life1.0/Tests/LF/compose2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/project2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/curry14.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/curry15.lf rw-r--r-- 1035/15 68 Mar 18 12:27 1994 Life1.0/Tests/LF/charcode.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/andor14.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/curry6.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/curry7.lf rw-r--r-- 1035/15 431 Mar 18 12:27 1994 Life1.0/Tests/LF/profiler3.lf rw-r--r-- 1035/15 632 Mar 18 12:27 1994 Life1.0/Tests/LF/profiler2.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/profiler1.lf rw-r--r-- 1035/15 227 Mar 18 12:27 1994 Life1.0/Tests/LF/lazy.lf rw-r--r-- 1035/15 0 Mar 18 12:27 1994 Life1.0/Tests/LF/strip.lf rw-r--r-- 1035/15 125 Mar 18 12:27 1994 Life1.0/Tests/LF/intlist.lf rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/LF/caret.lf rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/LF/canonical.lf rw-r--r-- 1035/15 183 Mar 18 12:28 1994 Life1.0/Tests/LF/random.lf rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/LF/bitnot.lf rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/LF/intdiv.lf rw-r--r-- 1035/15 32 Mar 18 12:28 1994 Life1.0/Tests/LF/intdiv2.lf rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/LF/curry8.lf rw-r--r-- 1035/15 15 Mar 18 12:28 1994 Life1.0/Tests/LF/intdiv3.lf rw-r--r-- 1035/15 3628 Mar 18 12:28 1994 Life1.0/Tests/LF/comp_struct.lf rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/LF/boolpred.lf rw-r--r-- 1035/15 690 Mar 18 12:28 1994 Life1.0/Tests/LF/featval.lf rw-r--r-- 1035/15 214 Mar 18 12:28 1994 Life1.0/Tests/LF/project3.lf rw-r--r-- 1035/15 116 Mar 18 12:28 1994 Life1.0/Tests/LF/extest.lf rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/LF/boolpred2.lf rw-r--r-- 1035/15 26 Mar 18 12:28 1994 Life1.0/Tests/LF/condpred.lf rw-r--r-- 1035/15 38 Mar 18 12:28 1994 Life1.0/Tests/LF/call1.lf rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/LF/dupfeat.lf rwxrwxrwx 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/REFERR/ rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/andor1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/andor2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/andor3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/andor4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/andor5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/another_bug.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/anyorder.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/append.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/apply.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith3.referr rw-r--r-- 1035/15 120 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith6.referr rw-r--r-- 1035/15 117 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith7.referr rw-r--r-- 1035/15 82 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith8.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/arith9.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/assert1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/assert2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/assert3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/assert4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/babcode.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/babel.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bagof1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bagof2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bagof3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bagof4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bagof5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bagof6.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bigstr.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bk_assign.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/boites1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/boites2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bruno_disj.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/brunobug.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/cb.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/chapla.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/chart_parser1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/chart_parser2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/children.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/choice.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/clause.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/compose.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/constr.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/copy1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/copy2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/copy3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/copyfile.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/cut2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/cut3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/cycles1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/cycles2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/debug.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/decl.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/delay.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/dict.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/delay2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/dichotomy.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality6.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality7.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality8.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disequality9.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disj1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disj2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disj3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disj4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disj5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disj6.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/disj7.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/dissolve.referr rw-r--r-- 1035/15 216 Mar 18 12:28 1994 Life1.0/Tests/REFERR/dynstat.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/encapsulate.referr rw-r--r-- 1035/15 47 Mar 18 12:28 1994 Life1.0/Tests/REFERR/eoftest.referr rw-r--r-- 1035/15 47 Mar 18 12:28 1994 Life1.0/Tests/REFERR/eoftest2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/eoftest3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/eratosthenes.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/example.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/fact.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/factorize.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/fail.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/feat_order.referr rw-r--r-- 1035/15 58 Mar 18 12:28 1994 Life1.0/Tests/REFERR/featnames.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/feature.referr rw-r--r-- 1035/15 74 Mar 18 12:28 1994 Life1.0/Tests/REFERR/feature_module.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/features1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/foo.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/funcself.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/function2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/fusil.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/gauss.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/gctest.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/genint.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/glb.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/glblub.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/glob_gc.referr rw-r--r-- 1035/15 53 Mar 18 12:28 1994 Life1.0/Tests/REFERR/glob_test2.referr rw-r--r-- 1035/15 934 Mar 18 12:28 1994 Life1.0/Tests/REFERR/global.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/global2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/global3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/grammars.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/hamming.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/hanoi.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/hasfeature.referr rw-r--r-- 1035/15 65 Mar 18 12:28 1994 Life1.0/Tests/REFERR/inherit.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/intabs.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/inttrace.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/isatest.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/isatest2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/junk.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/lazyinherit.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/lefun1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/lefun2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/libstruct.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/libtest.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/list_bda.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/listing1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/listing2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/loadquery.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/long.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/longstr.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/lub.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/machine.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/magic.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/makestr.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual10.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual11.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual3.referr rw-r--r-- 1035/15 62 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual6.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual7.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual8.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/manual9.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/many_types.referr rw-r--r-- 1035/15 71 Mar 18 12:28 1994 Life1.0/Tests/REFERR/matrix.referr rw-r--r-- 1035/15 37 Mar 18 12:28 1994 Life1.0/Tests/REFERR/module_test1.referr rw-r--r-- 1035/15 37 Mar 18 12:28 1994 Life1.0/Tests/REFERR/module_test1a.referr rw-r--r-- 1035/15 63 Mar 18 12:28 1994 Life1.0/Tests/REFERR/module_test2.referr rw-r--r-- 1035/15 104 Mar 18 12:28 1994 Life1.0/Tests/REFERR/module_test3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/module_test4.referr rw-r--r-- 1035/15 144 Mar 18 12:28 1994 Life1.0/Tests/REFERR/module_test5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/module_test6.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/mort.referr rw-r--r-- 1035/15 131 Mar 18 12:28 1994 Life1.0/Tests/REFERR/mresid.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/n2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/naming.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nesting.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nicetest.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nl.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nofour.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nonstrict1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nonstrict2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nonstrict3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nonstrict4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nonstrict5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/nonvar.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/not.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/numeric.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/op1.referr rw-r--r-- 1035/15 540 Mar 18 12:28 1994 Life1.0/Tests/REFERR/op2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/op3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/order.referr rw-r--r-- 1035/15 58 Mar 18 12:28 1994 Life1.0/Tests/REFERR/overload.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/pagewidth.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/parents.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/parse.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/parse2.referr rw-r--r-- 1035/15 64 Mar 18 12:28 1994 Life1.0/Tests/REFERR/parser.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/part.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/peep.referr rw-r--r-- 1035/15 73 Mar 18 12:28 1994 Life1.0/Tests/REFERR/pers2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/persistent.referr rw-r--r-- 1035/15 69 Mar 18 12:28 1994 Life1.0/Tests/REFERR/persistent2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/person1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/person2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/posint.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/power.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/preparser.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/prime.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/print1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/print2.referr rw-r--r-- 1035/15 131 Mar 18 12:28 1994 Life1.0/Tests/REFERR/print_depth1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/print_depth2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/print_test.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/printvar.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/project1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/prove.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/psi2str.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/puke.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/put_get.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/pyth.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/pyth2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/qsort1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/qsort2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/query_decl.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/resid1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/resid2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/retract1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/retract2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/retract3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/retract4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/retract5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/retract6.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/retract7.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/rootsort.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/rootsort2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/schedule1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/schedule2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/school.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/self.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/share.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/smm.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/simp_eqn.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/smalltwente.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/soap.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/sortcycle1.referr rw-r--r-- 1035/15 95 Mar 18 12:28 1994 Life1.0/Tests/REFERR/sortcycle2.referr rw-r--r-- 1035/15 95 Mar 18 12:28 1994 Life1.0/Tests/REFERR/sortcycle3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/sortcycle4.referr rw-r--r-- 1035/15 90 Mar 18 12:28 1994 Life1.0/Tests/REFERR/sortcycle5.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/str.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/str2psi.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/strbug.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/streams.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/sub.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/subs.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/subsort.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t3201.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t3202.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t3203.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t3204.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t3205.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t3206.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t3207.referr rw-r--r-- 1035/15 38 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t4105.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t4202.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t4502.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t4505.referr rw-r--r-- 1035/15 77 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t8101.referr rw-r--r-- 1035/15 133 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t8102.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t8103.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t8104.referr rw-r--r-- 1035/15 77 Mar 18 12:28 1994 Life1.0/Tests/REFERR/t8105.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/tan.referr rw-r--r-- 1035/15 71 Mar 18 12:28 1994 Life1.0/Tests/REFERR/termsize.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/test00.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/test03.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/test04.referr rw-r--r-- 1035/15 59 Mar 18 12:28 1994 Life1.0/Tests/REFERR/testprof.referr rw-r--r-- 1035/15 666 Mar 18 12:28 1994 Life1.0/Tests/REFERR/testsl.referr rw-r--r-- 1035/15 64 Mar 18 12:28 1994 Life1.0/Tests/REFERR/testslc.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/titi.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/tri_ins.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/tripeq.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/two_bugs.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/typedisj.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/unary.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/unify.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/varlevel.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/varlevel2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/volanski1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/wam.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/wambruno.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/wlife.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/write.referr rw-r--r-- 1035/15 53 Mar 18 12:28 1994 Life1.0/Tests/REFERR/writeq.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/xor.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/z_comb.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/z_cut2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/z_gcsimp.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/z_gctoken1.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/z_gctoken2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/z_maurice.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/lazy.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/z_power_4.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/z_pyth_gc.referr rw-r--r-- 1035/15 264 Mar 18 12:28 1994 Life1.0/Tests/REFERR/alias.referr rw-r--r-- 1035/15 633 Mar 18 12:28 1994 Life1.0/Tests/REFERR/errordecl.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/project2.referr rw-r--r-- 1035/15 119 Mar 18 12:28 1994 Life1.0/Tests/REFERR/andor14.referr rw-r--r-- 1035/15 342 Mar 18 12:28 1994 Life1.0/Tests/REFERR/compose2.referr rw-r--r-- 1035/15 471 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry14.referr rw-r--r-- 1035/15 176 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry15.referr rw-r--r-- 1035/15 52 Mar 18 12:28 1994 Life1.0/Tests/REFERR/charcode.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry6.referr rw-r--r-- 1035/15 104 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry7.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/profiler1.referr rw-r--r-- 1035/15 62 Mar 18 12:28 1994 Life1.0/Tests/REFERR/profiler2.referr rw-r--r-- 1035/15 53 Mar 18 12:28 1994 Life1.0/Tests/REFERR/profiler3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/strip.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/intlist.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/caret.referr rw-r--r-- 1035/15 163 Mar 18 12:28 1994 Life1.0/Tests/REFERR/canonical.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/random.referr rw-r--r-- 1035/15 47 Mar 18 12:28 1994 Life1.0/Tests/REFERR/bitnot.referr rw-r--r-- 1035/15 639 Mar 18 12:28 1994 Life1.0/Tests/REFERR/intdiv.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/intdiv2.referr rw-r--r-- 1035/15 61 Mar 18 12:28 1994 Life1.0/Tests/REFERR/curry8.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/intdiv3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/comp_struct.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/featval.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/extest.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/boolpred.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/project3.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/boolpred2.referr rw-r--r-- 1035/15 0 Mar 18 12:28 1994 Life1.0/Tests/REFERR/call1.referr rw-r--r-- 1035/15 158 Mar 18 12:28 1994 Life1.0/Tests/REFERR/dupfeat.referr rwxrwxrwx 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/ rw-r--r-- 1035/15 1575 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/andor1.refout rw-r--r-- 1035/15 228 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/andor2.refout rw-r--r-- 1035/15 522 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/andor3.refout rw-r--r-- 1035/15 557 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/andor4.refout rw-r--r-- 1035/15 244 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/andor5.refout rw-r--r-- 1035/15 1927 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/another_bug.refout rw-r--r-- 1035/15 2894 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/anyorder.refout rw-r--r-- 1035/15 2848 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/append.refout rw-r--r-- 1035/15 293 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/apply.refout rw-r--r-- 1035/15 1998 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith1.refout rw-r--r-- 1035/15 269 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith2.refout rw-r--r-- 1035/15 341 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith3.refout rw-r--r-- 1035/15 426 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith4.refout rw-r--r-- 1035/15 241 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith5.refout rw-r--r-- 1035/15 522 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith6.refout rw-r--r-- 1035/15 538 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith7.refout rw-r--r-- 1035/15 445 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith8.refout rw-r--r-- 1035/15 180 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/arith9.refout rw-r--r-- 1035/15 118 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/assert1.refout rw-r--r-- 1035/15 1080 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/assert2.refout rw-r--r-- 1035/15 1080 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/assert3.refout rw-r--r-- 1035/15 693 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/assert4.refout rw-r--r-- 1035/15 157561 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/babcode.refout rw-r--r-- 1035/15 14717 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/babel.refout rw-r--r-- 1035/15 61 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bagof1.refout rw-r--r-- 1035/15 375 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bagof2.refout rw-r--r-- 1035/15 602 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bagof3.refout rw-r--r-- 1035/15 105 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bagof4.refout rw-r--r-- 1035/15 131 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bagof5.refout rw-r--r-- 1035/15 87 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bagof6.refout rw-r--r-- 1035/15 624 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bigstr.refout rw-r--r-- 1035/15 310 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bk_assign.refout rw-r--r-- 1035/15 1291 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/boites1.refout rw-r--r-- 1035/15 1084 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/boites2.refout rw-r--r-- 1035/15 2749 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/bruno_disj.refout rw-r--r-- 1035/15 1633 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/brunobug.refout rw-r--r-- 1035/15 319 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/cb.refout rw-r--r-- 1035/15 3431 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/chapla.refout rw-r--r-- 1035/15 259 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/chart_parser1.refout rw-r--r-- 1035/15 259 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/chart_parser2.refout rw-r--r-- 1035/15 1534 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/children.refout rw-r--r-- 1035/15 644 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/choice.refout rw-r--r-- 1035/15 737 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/clause.refout rw-r--r-- 1035/15 820 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/compose.refout rw-r--r-- 1035/15 173 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/constr.refout rw-r--r-- 1035/15 856 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/copy1.refout rw-r--r-- 1035/15 856 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/copy2.refout rw-r--r-- 1035/15 856 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/copy3.refout rw-r--r-- 1035/15 159 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/copyfile.refout rw-r--r-- 1035/15 205 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/curry1.refout rw-r--r-- 1035/15 852 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/curry2.refout rw-r--r-- 1035/15 172 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/curry3.refout rw-r--r-- 1035/15 1310 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/curry4.refout rw-r--r-- 1035/15 623 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/curry5.refout rw-r--r-- 1035/15 104 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/cut2.refout rw-r--r-- 1035/15 238 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/cut3.refout rw-r--r-- 1035/15 665 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/cycles1.refout rw-r--r-- 1035/15 705 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/cycles2.refout rw-r--r-- 1035/15 5893 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/debug.refout rw-r--r-- 1035/15 54 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/aborthook.refout rw-r--r-- 1035/15 92 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/decl.refout rw-r--r-- 1035/15 208 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/delay.refout rw-r--r-- 1035/15 400 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/delay2.refout rw-r--r-- 1035/15 155 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/dichotomy.refout rw-r--r-- 1035/15 62 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/dict.refout rw-r--r-- 1035/15 5881 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality1.refout rw-r--r-- 1035/15 363 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality2.refout rw-r--r-- 1035/15 2059 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality3.refout rw-r--r-- 1035/15 1418 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality4.refout rw-r--r-- 1035/15 1111 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality5.refout rw-r--r-- 1035/15 1418 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality6.refout rw-r--r-- 1035/15 278 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality7.refout rw-r--r-- 1035/15 2996 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality8.refout rw-r--r-- 1035/15 1552 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disequality9.refout rw-r--r-- 1035/15 550 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disj1.refout rw-r--r-- 1035/15 1897 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/addtab.refout rw-r--r-- 1035/15 580 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disj2.refout rw-r--r-- 1035/15 45 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disj3.refout rw-r--r-- 1035/15 151 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disj4.refout rw-r--r-- 1035/15 130 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disj5.refout rw-r--r-- 1035/15 2584 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/fact.refout rw-r--r-- 1035/15 53 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disj6.refout rw-r--r-- 1035/15 934 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/disj7.refout rw-r--r-- 1035/15 1230 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/dissolve.refout rw-r--r-- 1035/15 263 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/dynstat.refout rw-r--r-- 1035/15 637 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/encapsulate.refout rw-r--r-- 1035/15 81 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/eoftest.refout rw-r--r-- 1035/15 122 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/eoftest2.refout rw-r--r-- 1035/15 73 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/eoftest3.refout rw-r--r-- 1035/15 2923 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/eratosthenes.refout rw-r--r-- 1035/15 68 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/example.refout rw-r--r-- 1035/15 149 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/factorize.refout rw-r--r-- 1035/15 36 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/fail.refout rw-r--r-- 1035/15 23619 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/feat_order.refout rw-r--r-- 1035/15 312 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/featnames.refout rw-r--r-- 1035/15 590 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/feature.refout rw-r--r-- 1035/15 1295 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/feature_module.refout rw-r--r-- 1035/15 181 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/features1.refout rw-r--r-- 1035/15 82 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/foo.refout rw-r--r-- 1035/15 85 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/funcself.refout rw-r--r-- 1035/15 119 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/function2.refout rw-r--r-- 1035/15 57 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/fusil.refout rw-r--r-- 1035/15 11171 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/gauss.refout rw-r--r-- 1035/15 607 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/gctest.refout rw-r--r-- 1035/15 67 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/genint.refout rw-r--r-- 1035/15 10578 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/glb.refout rw-r--r-- 1035/15 120 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/glblub.refout rw-r--r-- 1035/15 5332 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/glob_gc.refout rw-r--r-- 1035/15 2291 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/glob_test2.refout rw-r--r-- 1035/15 767 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/global.refout rw-r--r-- 1035/15 120 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/global2.refout rw-r--r-- 1035/15 60 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/global3.refout rw-r--r-- 1035/15 4121 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/grammars.refout rw-r--r-- 1035/15 137 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/hamming.refout rw-r--r-- 1035/15 1193 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/hanoi.refout rw-r--r-- 1035/15 747 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/hasfeature.refout rw-r--r-- 1035/15 66569 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/inherit.refout rw-r--r-- 1035/15 19572 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/intabs.refout rw-r--r-- 1035/15 48 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/inttrace.refout rw-r--r-- 1035/15 1267 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/isatest.refout rw-r--r-- 1035/15 202 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/isatest2.refout rw-r--r-- 1035/15 1072 Mar 18 12:28 1994 Life1.0/Tests/REFOUT/junk.refout rw-r--r-- 1035/15 604 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/lazyinherit.refout rw-r--r-- 1035/15 95 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/lefun1.refout rw-r--r-- 1035/15 35 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/lefun2.refout rw-r--r-- 1035/15 3879 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/libstruct.refout rw-r--r-- 1035/15 35468 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/libtest.refout rw-r--r-- 1035/15 641 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/list_bda.refout rw-r--r-- 1035/15 4961 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/listing1.refout rw-r--r-- 1035/15 140 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/listing2.refout rw-r--r-- 1035/15 18 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/loadquery.refout rw-r--r-- 1035/15 3123 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/long.refout rw-r--r-- 1035/15 65319 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/longstr.refout rw-r--r-- 1035/15 14224 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/lub.refout rw-r--r-- 1035/15 3594 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/machine.refout rw-r--r-- 1035/15 502 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/magic.refout rw-r--r-- 1035/15 654 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/makestr.refout rw-r--r-- 1035/15 74 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual1.refout rw-r--r-- 1035/15 118 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual10.refout rw-r--r-- 1035/15 69 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual11.refout rw-r--r-- 1035/15 192 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual2.refout rw-r--r-- 1035/15 34 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual3.refout rw-r--r-- 1035/15 37 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual4.refout rw-r--r-- 1035/15 94 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual5.refout rw-r--r-- 1035/15 159 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual6.refout rw-r--r-- 1035/15 129 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual7.refout rw-r--r-- 1035/15 164 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual8.refout rw-r--r-- 1035/15 112 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/manual9.refout rw-r--r-- 1035/15 128 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/many_types.refout rw-r--r-- 1035/15 20161 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/matrix.refout rw-r--r-- 1035/15 92 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/module_test1.refout rw-r--r-- 1035/15 92 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/module_test1a.refout rw-r--r-- 1035/15 27 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/module_test2.refout rw-r--r-- 1035/15 36 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/module_test3.refout rw-r--r-- 1035/15 222 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/module_test4.refout rw-r--r-- 1035/15 209 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/module_test5.refout rw-r--r-- 1035/15 358 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/module_test6.refout rw-r--r-- 1035/15 384 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/mort.refout rw-r--r-- 1035/15 1338 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/mresid.refout rw-r--r-- 1035/15 89 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/n2.refout rw-r--r-- 1035/15 132 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/naming.refout rw-r--r-- 1035/15 26 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nesting.refout rw-r--r-- 1035/15 278 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nicetest.refout rw-r--r-- 1035/15 4860 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nl.refout rw-r--r-- 1035/15 234 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nofour.refout rw-r--r-- 1035/15 71 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nonstrict1.refout rw-r--r-- 1035/15 283 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nonstrict2.refout rw-r--r-- 1035/15 86 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nonstrict3.refout rw-r--r-- 1035/15 248 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nonstrict4.refout rw-r--r-- 1035/15 374 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nonstrict5.refout rw-r--r-- 1035/15 586 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/nonvar.refout rw-r--r-- 1035/15 572 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/not.refout rw-r--r-- 1035/15 261 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/numeric.refout rw-r--r-- 1035/15 1267 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/op1.refout rw-r--r-- 1035/15 205 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/op2.refout rw-r--r-- 1035/15 248 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/op3.refout rw-r--r-- 1035/15 35 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/order.refout rw-r--r-- 1035/15 39 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/overload.refout rw-r--r-- 1035/15 297 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/pagewidth.refout rw-r--r-- 1035/15 311 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/parents.refout rw-r--r-- 1035/15 791 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/parse.refout rw-r--r-- 1035/15 156 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/parse2.refout rw-r--r-- 1035/15 957 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/parser.refout rw-r--r-- 1035/15 82 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/part.refout rw-r--r-- 1035/15 518 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/peep.refout rw-r--r-- 1035/15 1055 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/pers2.refout rw-r--r-- 1035/15 423 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/persistent.refout rw-r--r-- 1035/15 244 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/persistent2.refout rw-r--r-- 1035/15 621 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/person1.refout rw-r--r-- 1035/15 176 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/person2.refout rw-r--r-- 1035/15 152 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/posint.refout rw-r--r-- 1035/15 95 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/power.refout rw-r--r-- 1035/15 5636 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/preparser.refout rw-r--r-- 1035/15 541 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/prime.refout rw-r--r-- 1035/15 332 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/print1.refout rw-r--r-- 1035/15 597 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/print2.refout rw-r--r-- 1035/15 1261 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/print_depth1.refout rw-r--r-- 1035/15 3114 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/print_depth2.refout rw-r--r-- 1035/15 1207 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/print_test.refout rw-r--r-- 1035/15 6326 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/printvar.refout rw-r--r-- 1035/15 33180 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/project1.refout rw-r--r-- 1035/15 351 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/prove.refout rw-r--r-- 1035/15 176 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/psi2str.refout rw-r--r-- 1035/15 104 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/puke.refout rw-r--r-- 1035/15 5291 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/put_get.refout rw-r--r-- 1035/15 364 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/pyth.refout rw-r--r-- 1035/15 77 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/pyth2.refout rw-r--r-- 1035/15 318 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/qsort1.refout rw-r--r-- 1035/15 82 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/qsort2.refout rw-r--r-- 1035/15 200 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/query_decl.refout rw-r--r-- 1035/15 108 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/resid1.refout rw-r--r-- 1035/15 273 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/resid2.refout rw-r--r-- 1035/15 74 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/retract1.refout rw-r--r-- 1035/15 50 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/retract2.refout rw-r--r-- 1035/15 50 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/retract3.refout rw-r--r-- 1035/15 52 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/retract4.refout rw-r--r-- 1035/15 138 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/retract5.refout rw-r--r-- 1035/15 219 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/retract6.refout rw-r--r-- 1035/15 472 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/retract7.refout rw-r--r-- 1035/15 46 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/rootsort.refout rw-r--r-- 1035/15 67 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/rootsort2.refout rw-r--r-- 1035/15 1430 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/schedule1.refout rw-r--r-- 1035/15 1430 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/schedule2.refout rw-r--r-- 1035/15 2151 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/school.refout rw-r--r-- 1035/15 420 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/self.refout rw-r--r-- 1035/15 4250 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/share.refout rw-r--r-- 1035/15 221 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/simp_eqn.refout rw-r--r-- 1035/15 29407 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/smalltwente.refout rw-r--r-- 1035/15 100 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/smm.refout rw-r--r-- 1035/15 344 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/soap.refout rw-r--r-- 1035/15 262 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/sortcycle1.refout rw-r--r-- 1035/15 1 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/sortcycle2.refout rw-r--r-- 1035/15 271 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/sortcycle3.refout rw-r--r-- 1035/15 262 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/sortcycle4.refout rw-r--r-- 1035/15 1 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/sortcycle5.refout rw-r--r-- 1035/15 963 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/str.refout rw-r--r-- 1035/15 47 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/str2psi.refout rw-r--r-- 1035/15 38 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/strbug.refout rw-r--r-- 1035/15 1516 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/streams.refout rw-r--r-- 1035/15 3570 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/sub.refout rw-r--r-- 1035/15 549 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/subs.refout rw-r--r-- 1035/15 627 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/subsort.refout rw-r--r-- 1035/15 3980 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t.refout rw-r--r-- 1035/15 1217 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t3201.refout rw-r--r-- 1035/15 294 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t3202.refout rw-r--r-- 1035/15 146 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t3203.refout rw-r--r-- 1035/15 194 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t3204.refout rw-r--r-- 1035/15 328 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t3205.refout rw-r--r-- 1035/15 109 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t3206.refout rw-r--r-- 1035/15 2705 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t3207.refout rw-r--r-- 1035/15 77 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t4105.refout rw-r--r-- 1035/15 43 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t4202.refout rw-r--r-- 1035/15 91 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t4502.refout rw-r--r-- 1035/15 35 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t4505.refout rw-r--r-- 1035/15 26 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t8101.refout rw-r--r-- 1035/15 36 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t8102.refout rw-r--r-- 1035/15 36 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t8103.refout rw-r--r-- 1035/15 291 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t8104.refout rw-r--r-- 1035/15 16 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/t8105.refout rw-r--r-- 1035/15 743 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/tan.refout rw-r--r-- 1035/15 657 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/termsize.refout rw-r--r-- 1035/15 468 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/test00.refout rw-r--r-- 1035/15 2111 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/test03.refout rw-r--r-- 1035/15 87 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/test04.refout rw-r--r-- 1035/15 9896 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/testprof.refout rw-r--r-- 1035/15 6059 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/testsl.refout rw-r--r-- 1035/15 34404 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/testslc.refout rw-r--r-- 1035/15 455 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/titi.refout rw-r--r-- 1035/15 409 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/tri_ins.refout rw-r--r-- 1035/15 367 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/tripeq.refout rw-r--r-- 1035/15 153 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/two_bugs.refout rw-r--r-- 1035/15 284 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/typedisj.refout rw-r--r-- 1035/15 164 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/unary.refout rw-r--r-- 1035/15 1420 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/unify.refout rw-r--r-- 1035/15 322 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/varlevel.refout rw-r--r-- 1035/15 1144 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/varlevel2.refout rw-r--r-- 1035/15 334 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/volanski1.refout rw-r--r-- 1035/15 393 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/wam.refout rw-r--r-- 1035/15 405 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/wambruno.refout rw-r--r-- 1035/15 382 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/wlife.refout rw-r--r-- 1035/15 1638 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/write.refout rw-r--r-- 1035/15 920 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/writeq.refout rw-r--r-- 1035/15 2411 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/xor.refout rw-r--r-- 1035/15 2827 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/z_comb.refout rw-r--r-- 1035/15 2560 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/z_cut2.refout rw-r--r-- 1035/15 62 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/z_gcsimp.refout rw-r--r-- 1035/15 39 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/z_gctoken1.refout rw-r--r-- 1035/15 910 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/z_gctoken2.refout rw-r--r-- 1035/15 2828 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/z_maurice.refout rw-r--r-- 1035/15 33 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/z_power_4.refout rw-r--r-- 1035/15 364 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/z_pyth_gc.refout rw-r--r-- 1035/15 90 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/alias.refout rw-r--r-- 1035/15 162 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/errordecl.refout rw-r--r-- 1035/15 480 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/project2.refout rw-r--r-- 1035/15 398 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/andor14.refout rw-r--r-- 1035/15 449 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/compose2.refout rw-r--r-- 1035/15 785 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/curry14.refout rw-r--r-- 1035/15 369 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/curry15.refout rw-r--r-- 1035/15 4732 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/charcode.refout rw-r--r-- 1035/15 3548 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/curry6.refout rw-r--r-- 1035/15 574 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/curry7.refout rw-r--r-- 1035/15 2038 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/profiler1.refout rw-r--r-- 1035/15 2120 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/profiler2.refout rw-r--r-- 1035/15 8384 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/profiler3.refout rw-r--r-- 1035/15 74 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/lazy.refout rw-r--r-- 1035/15 1046 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/strip.refout rw-r--r-- 1035/15 289 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/intlist.refout rw-r--r-- 1035/15 353 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/caret.refout rw-r--r-- 1035/15 581 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/canonical.refout rw-r--r-- 1035/15 54 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/random.refout rw-r--r-- 1035/15 522 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/bitnot.refout rw-r--r-- 1035/15 1341 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/intdiv.refout rw-r--r-- 1035/15 933 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/intdiv2.refout rw-r--r-- 1035/15 301 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/curry8.refout rw-r--r-- 1035/15 240 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/intdiv3.refout rw-r--r-- 1035/15 3050 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/comp_struct.refout rw-r--r-- 1035/15 2496 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/featval.refout rw-r--r-- 1035/15 8619 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/extest.refout rw-r--r-- 1035/15 590 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/boolpred.refout rw-r--r-- 1035/15 608 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/project3.refout rw-r--r-- 1035/15 470 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/boolpred2.refout rw-r--r-- 1035/15 509 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/call1.refout rw-r--r-- 1035/15 20 Mar 18 12:29 1994 Life1.0/Tests/REFOUT/dupfeat.refout rw-r--r-- 1035/15 2260 Mar 18 12:29 1994 Life1.0/Tests/README rwxr-xr-x 1035/15 202 Mar 18 12:29 1994 Life1.0/Tests/approve rwxr-xr-x 1035/15 2143 Mar 18 12:29 1994 Life1.0/Tests/check rw-r--r-- 1035/15 3696 Mar 18 12:29 1994 Life1.0/Tests/check.log rwxr-xr-x 1035/15 159 Mar 18 12:29 1994 Life1.0/Tests/check_all rwxr-xr-x 1035/15 303 Mar 18 12:29 1994 Life1.0/Tests/showdiff rwxr-xr-x 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/OUT/ rwxr-xr-x 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/ERR/ rwxr-xr-x 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/REFDIFF/ rwxr-xr-x 1035/15 0 Mar 18 12:29 1994 Life1.0/Tests/ERRDIFF/ rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/Examples/ rw-r--r-- 1035/15 4612 Mar 18 12:25 1994 Life1.0/Examples/Flowers.doc rw-r--r-- 1035/15 4883 Mar 18 12:25 1994 Life1.0/Examples/Gauss.doc rw-r--r-- 1035/15 2493 Mar 18 12:25 1994 Life1.0/Examples/README rw-r--r-- 1035/15 1350 Mar 18 12:25 1994 Life1.0/Examples/Schedule.doc rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/ rw-r--r-- 1035/15 58983 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/c_builders.lf rw-r--r-- 1035/15 47757 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/c_parser.lf rw-r--r-- 1035/15 12632 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/c_public_terms.lf rw-r--r-- 1035/15 23028 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/c_tokenizer.lf rw-r--r-- 1035/15 9068 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/c_utils.lf rw-r--r-- 1035/15 1488 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/expand_type.lf rw-r--r-- 1035/15 1054 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/rl_overload.lf rw-r--r-- 1035/15 2393 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/sl.lf rw-r--r-- 1035/15 1968 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/sl_io_utils.lf rw-r--r-- 1035/15 893 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/sl_overload.lf rw-r--r-- 1035/15 1653 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/sl_parser.lf rw-r--r-- 1035/15 135 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/sl_public_terms.lf rw-r--r-- 1035/15 14360 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/sl_rule_expander.lf rw-r--r-- 1035/15 29249 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/sl_utils.lf rw-r--r-- 1035/15 2092 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/slc.lf rw-r--r-- 1035/15 188 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/slc_file_names.lf rw-r--r-- 1035/15 54532 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/SuperLint.doc rw-r--r-- 1035/15 1089 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/README rw-r--r-- 1035/15 17582 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/rules.lf rw-r--r-- 1035/15 34404 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/superlint.lf rw-r--r-- 1035/15 1682 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/testsl.c rwxr-xr-x 1035/15 248 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/sl rwxr-xr-x 1035/15 236 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/slc rwxr-xr-x 1035/15 46 Mar 18 12:25 1994 Life1.0/Examples/SuperLint/wild_life rw-r--r-- 1035/15 184 Mar 18 12:25 1994 Life1.0/Examples/all_demos.lf rw-r--r-- 1035/15 6413 Mar 18 12:25 1994 Life1.0/Examples/boxes.lf rw-r--r-- 1035/15 1363 Mar 18 12:25 1994 Life1.0/Examples/dictionary.c rw-r--r-- 1035/15 894 Mar 18 12:25 1994 Life1.0/Examples/dictionary.lf rw-r--r-- 1035/15 5115 Mar 18 12:25 1994 Life1.0/Examples/display_terms.lf rw-r--r-- 1035/15 268 Mar 18 12:25 1994 Life1.0/Examples/flo_README rw-r--r-- 1035/15 4503 Mar 18 12:25 1994 Life1.0/Examples/flo_custom.lf rw-r--r-- 1035/15 3873 Mar 18 12:25 1994 Life1.0/Examples/flo_flowerdef.lf rw-r--r-- 1035/15 17523 Mar 18 12:25 1994 Life1.0/Examples/flo_gram.lf rw-r--r-- 1035/15 2941 Mar 18 12:25 1994 Life1.0/Examples/flo_utils.lf rw-r--r-- 1035/15 17859 Mar 18 12:25 1994 Life1.0/Examples/flo_xtools.lf rw-r--r-- 1035/15 21041 Mar 18 12:25 1994 Life1.0/Examples/flowers.lf rw-r--r-- 1035/15 15563 Mar 18 12:25 1994 Life1.0/Examples/gauss.lf rw-r--r-- 1035/15 1066 Mar 18 12:25 1994 Life1.0/Examples/hamming.c rw-r--r-- 1035/15 805 Mar 18 12:25 1994 Life1.0/Examples/hamming.lf rw-r--r-- 1035/15 4448 Mar 18 12:25 1994 Life1.0/Examples/machine.lf rw-r--r-- 1035/15 1987 Mar 18 12:25 1994 Life1.0/Examples/magic.lf rw-r--r-- 1035/15 15884 Mar 18 12:25 1994 Life1.0/Examples/nl.lf rw-r--r-- 1035/15 0 Mar 18 12:25 1994 Life1.0/Examples/nl.lf_expr rw-r--r-- 1035/15 2664 Mar 18 12:25 1994 Life1.0/Examples/palette.lf rw-r--r-- 1035/15 1048 Mar 18 12:25 1994 Life1.0/Examples/prime.lf rw-r--r-- 1035/15 7344 Mar 18 12:25 1994 Life1.0/Examples/queens.lf rw-r--r-- 1035/15 4595 Mar 18 12:25 1994 Life1.0/Examples/schedule.lf rw-r--r-- 1035/15 2590 Mar 18 12:25 1994 Life1.0/Examples/simple.lf rw-r--r-- 1035/15 659 Mar 18 12:25 1994 Life1.0/Examples/soap.lf rw-r--r-- 1035/15 1036 Mar 18 12:25 1994 Life1.0/Examples/solve.lf rw-r--r-- 1035/15 720 Mar 18 12:25 1994 Life1.0/Examples/xxxooo.lf rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/Tools/ rw-r--r-- 1035/15 8158 Mar 18 12:25 1994 Life1.0/Tools/Debug.doc rw-r--r-- 1035/15 1954 Mar 18 12:25 1994 Life1.0/Tools/Loader.doc rw-r--r-- 1035/15 5684 Mar 18 12:25 1994 Life1.0/Tools/Parser.doc rw-r--r-- 1035/15 16924 Mar 18 12:25 1994 Life1.0/Tools/Profiler.doc rw-r--r-- 1035/15 1681 Mar 18 12:25 1994 Life1.0/Tools/README rw-r--r-- 1035/15 6893 Mar 18 12:25 1994 Life1.0/Tools/Shell.doc rw-r--r-- 1035/15 3147 Mar 18 12:25 1994 Life1.0/Tools/Tokenizer.doc rw-r--r-- 1035/15 3264 Mar 18 12:25 1994 Life1.0/Tools/acc_declarations.exp rw-r--r-- 1035/15 4261 Mar 18 12:25 1994 Life1.0/Tools/acc_declarations.lf rw-r--r-- 1035/15 19084 Mar 18 12:25 1994 Life1.0/Tools/accumulators.exp rw-r--r-- 1035/15 29458 Mar 18 12:25 1994 Life1.0/Tools/accumulators.lf rw-r--r-- 1035/15 9075 Mar 18 12:25 1994 Life1.0/Tools/debug.lf rw-r--r-- 1035/15 2186 Mar 18 12:25 1994 Life1.0/Tools/loader.exp rw-r--r-- 1035/15 5216 Mar 18 12:25 1994 Life1.0/Tools/loader.lf rw-r--r-- 1035/15 12946 Mar 18 12:25 1994 Life1.0/Tools/parser.exp rw-r--r-- 1035/15 23455 Mar 18 12:25 1994 Life1.0/Tools/parser.lf rw-r--r-- 1035/15 50514 Mar 18 12:25 1994 Life1.0/Tools/profiler.lf rw-r--r-- 1035/15 20475 Mar 18 12:25 1994 Life1.0/Tools/shell.exp rw-r--r-- 1035/15 35490 Mar 18 12:25 1994 Life1.0/Tools/shell.lf rw-r--r-- 1035/15 1947 Mar 18 12:25 1994 Life1.0/Tools/shell_interface.exp rw-r--r-- 1035/15 3798 Mar 18 12:25 1994 Life1.0/Tools/shell_interface.lf rw-r--r-- 1035/15 7760 Mar 18 12:25 1994 Life1.0/Tools/std_expander.exp rw-r--r-- 1035/15 10630 Mar 18 12:25 1994 Life1.0/Tools/std_expander.lf rw-r--r-- 1035/15 9448 Mar 18 12:25 1994 Life1.0/Tools/tokenizer.exp rw-r--r-- 1035/15 14076 Mar 18 12:25 1994 Life1.0/Tools/tokenizer.lf rwxrwxrwx 1035/15 0 Mar 18 12:25 1994 Life1.0/Lib/ rw-r--r-- 1035/15 385 Mar 18 12:25 1994 Life1.0/Lib/control.lf rw-r--r-- 1035/15 5115 Mar 18 12:25 1994 Life1.0/Lib/display_terms.lf rw-r--r-- 1035/15 6280 Mar 18 12:25 1994 Life1.0/Lib/ex_tools.lf rw-r--r-- 1035/15 2878 Mar 18 12:25 1994 Life1.0/Lib/expanders.lf rw-r--r-- 1035/15 1886 Mar 18 12:25 1994 Life1.0/Lib/files.lf rw-r--r-- 1035/15 333 Mar 18 12:25 1994 Life1.0/Lib/io.lf rw-r--r-- 1035/15 2710 Mar 18 12:25 1994 Life1.0/Lib/lists.lf rw-r--r-- 1035/15 21707 Mar 18 12:25 1994 Life1.0/Lib/sets.lf rw-r--r-- 1035/15 5020 Mar 18 12:25 1994 Life1.0/Lib/structures.lf rw-r--r-- 1035/15 2070 Mar 18 12:25 1994 Life1.0/Lib/terms.lf rw-r--r-- 1035/15 642 Mar 18 12:25 1994 Life1.0/Lib/times.lf rw-r--r-- 1035/15 518 Mar 18 12:25 1994 Life1.0/Lib/x.lf rw-r--r-- 1035/15 5253 Mar 18 12:25 1994 Life1.0/Lib/x_constants.lf rw-r--r-- 1035/15 17951 Mar 18 12:25 1994 Life1.0/Lib/x_getset.lf rw-r--r-- 1035/15 11113 Mar 18 12:25 1994 Life1.0/Lib/x_pred.lf rw-r--r-- 1035/15 12566 Mar 18 12:25 1994 Life1.0/Lib/x_public.lf rw-r--r-- 1035/15 11990 Mar 18 12:25 1994 Life1.0/Lib/x_tables.lf rw-r--r-- 1035/15 4565 Mar 18 12:25 1994 Life1.0/Lib/xtools.lf rw-r--r-- 1035/15 11019 Mar 18 12:25 1994 Life1.0/Lib/xtools_b.lf rw-r--r-- 1035/15 21441 Mar 18 12:25 1994 Life1.0/Lib/xtools_c.lf rw-r--r-- 1035/15 2648 Mar 18 12:25 1994 Life1.0/Lib/xtools_constants.lf rw-r--r-- 1035/15 3693 Mar 18 12:25 1994 Life1.0/Lib/xtools_init.lf rw-r--r-- 1035/15 11042 Mar 18 12:25 1994 Life1.0/Lib/xtools_l.lf rwxr-xr-x 1035/15 0 Mar 18 12:26 1994 Life1.0/Doc/ rw-r--r-- 1035/15 708405 Mar 18 12:25 1994 Life1.0/Doc/handbook.ps rw-r--r-- 1035/15 478288 Mar 18 12:25 1994 Life1.0/Doc/handbook.dvi rw-r--r-- 1035/15 12237 Mar 18 12:25 1994 Life1.0/Doc/context_1.ps rw-r--r-- 1035/15 12736 Mar 18 12:25 1994 Life1.0/Doc/context_2.ps rw-r--r-- 1035/15 13372 Mar 18 12:25 1994 Life1.0/Doc/context_3.ps rw-r--r-- 1035/15 13864 Mar 18 12:25 1994 Life1.0/Doc/context_def.ps rw-r--r-- 1035/15 91446 Mar 18 12:25 1994 Life1.0/Doc/dumant2.ps rw-r--r-- 1035/15 143761 Mar 18 12:25 1994 Life1.0/Doc/hassan2.ps rw-r--r-- 1035/15 404950 Mar 18 12:26 1994 Life1.0/Doc/rmeyer2.ps rw-r--r-- 1035/15 270298 Mar 18 12:26 1994 Life1.0/Doc/vanroy2.ps rw-r--r-- 1035/15 12670 Mar 18 12:26 1994 Life1.0/Doc/toolkit.ps rw-r--r-- 1035/15 21683 Mar 18 12:26 1994 Life1.0/Doc/toolkit.tex rw-r--r-- 1035/15 7289 Mar 18 12:26 1994 Life1.0/Doc/c_life.doc rw-r--r-- 1035/15 8158 Mar 18 12:26 1994 Life1.0/Doc/Debug.doc rw-r--r-- 1035/15 1954 Mar 18 12:26 1994 Life1.0/Doc/Loader.doc rw-r--r-- 1035/15 5684 Mar 18 12:26 1994 Life1.0/Doc/Parser.doc rw-r--r-- 1035/15 16924 Mar 18 12:26 1994 Life1.0/Doc/Profiler.doc rw-r--r-- 1035/15 6893 Mar 18 12:26 1994 Life1.0/Doc/Shell.doc rw-r--r-- 1035/15 3147 Mar 18 12:26 1994 Life1.0/Doc/Tokenizer.doc rw-r--r-- 1035/15 54532 Mar 18 12:26 1994 Life1.0/Doc/SuperLint.doc r--r--r-- 1035/15 5081 Mar 18 12:26 1994 Life1.0/Doc/wild_life.1 rwxr-xr-x 1035/15 0 Mar 18 12:26 1994 Life1.0/CLife/ rw-r--r-- 1035/15 3111 Mar 18 12:26 1994 Life1.0/CLife/demo.c rw-r--r-- 1035/15 141 Mar 18 12:26 1994 Life1.0/CLife/Makefile rwxrwxrwx 1035/15 0 Mar 18 12:26 1994 Life1.0/CLife/c_life.doc symbolic link to ../Doc/c_life.doc r--r--r-- 1035/15 2940 Mar 18 12:25 1994 Life1.0/LICENSE r--r--r-- 1035/15 24951 Mar 18 12:25 1994 Life1.0/README