math/otter/PLIST

   1 @comment $NetBSD: PLIST,v 1.1 2001/11/01 00:33:50 zuntum Exp $
   2 bin/otter
   3 share/doc/otter/Announce
   4 share/doc/otter/Changelog
   5 share/doc/otter/Copying
   6 share/doc/otter/New_304.txt
   7 share/doc/otter/New_305.txt
   8 share/doc/otter/README.302
   9 share/doc/otter/README.303
  10 share/doc/otter/README.304
  11 share/doc/otter/README.305
  12 share/doc/otter/README.306
  13 share/doc/otter/manual.dvi
  14 share/doc/otter/manual.ps
  15 share/doc/otter/manual.tex
  16 share/doc/otter/manual.txt
  17 share/doc/otter/split.txt
  18 share/examples/otter/README
  19 share/examples/otter/Run_all
  20 share/examples/otter/auto/cn19.PII400
  21 share/examples/otter/auto/cn19.in
  22 share/examples/otter/auto/comm.PII400
  23 share/examples/otter/auto/comm.in
  24 share/examples/otter/auto/ec_yq.PII400
  25 share/examples/otter/auto/ec_yq.in
  26 share/examples/otter/auto/group.PII400
  27 share/examples/otter/auto/group.in
  28 share/examples/otter/auto/lifsch.PII400
  29 share/examples/otter/auto/lifsch.in
  30 share/examples/otter/auto/mv25.PII400
  31 share/examples/otter/auto/mv25.in
  32 share/examples/otter/auto/pigeon.PII400
  33 share/examples/otter/auto/pigeon.in
  34 share/examples/otter/auto/ring_x2.PII400
  35 share/examples/otter/auto/ring_x2.in
  36 share/examples/otter/auto/robbins.PII400
  37 share/examples/otter/auto/robbins.in
  38 share/examples/otter/auto/salt.PII400
  39 share/examples/otter/auto/salt.in
  40 share/examples/otter/auto/sam.PII400
  41 share/examples/otter/auto/sam.in
  42 share/examples/otter/auto/steam.PII400
  43 share/examples/otter/auto/steam.in
  44 share/examples/otter/auto/tba_gg.PII400
  45 share/examples/otter/auto/tba_gg.in
  46 share/examples/otter/auto/w_sk.PII400
  47 share/examples/otter/auto/w_sk.in
  48 share/examples/otter/auto/wang1.PII400
  49 share/examples/otter/auto/wang1.in
  50 share/examples/otter/auto/x2_quant.PII400
  51 share/examples/otter/auto/x2_quant.in
  52 share/examples/otter/auto/z11.PII400
  53 share/examples/otter/auto/z11.in
  54 share/examples/otter/fringe/bring.PII400
  55 share/examples/otter/fringe/bring.in
  56 share/examples/otter/fringe/ec_yql.PII400
  57 share/examples/otter/fringe/ec_yql.in
  58 share/examples/otter/fringe/gl4.PII400
  59 share/examples/otter/fringe/gl4.in
  60 share/examples/otter/fringe/gl8.PII400
  61 share/examples/otter/fringe/gl8.in
  62 share/examples/otter/fringe/if.PII400
  63 share/examples/otter/fringe/if.in
  64 share/examples/otter/fringe/lexical1.PII400
  65 share/examples/otter/fringe/lexical1.in
  66 share/examples/otter/fringe/lexical2.PII400
  67 share/examples/otter/fringe/lexical2.in
  68 share/examples/otter/fringe/lexical3.PII400
  69 share/examples/otter/fringe/lexical3.in
  70 share/examples/otter/fringe/luka5h.PII400
  71 share/examples/otter/fringe/luka5h.in
  72 share/examples/otter/fringe/mfl_13.PII400
  73 share/examples/otter/fringe/mfl_13.in
  74 share/examples/otter/fringe/rob_ocd.PII400
  75 share/examples/otter/fringe/rob_ocd.in
  76 share/examples/otter/fringe/x3tricks.PII400
  77 share/examples/otter/fringe/x3tricks.in
  78 share/examples/otter/ivy/cd-cn19.PII400
  79 share/examples/otter/ivy/cd-cn19.in
  80 share/examples/otter/ivy/comb-sk-w.PII400
  81 share/examples/otter/ivy/comb-sk-w.in
  82 share/examples/otter/ivy/group-comm.PII400
  83 share/examples/otter/ivy/group-comm.in
  84 share/examples/otter/ivy/group-x2-refute.PII400
  85 share/examples/otter/ivy/group-x2-refute.in
  86 share/examples/otter/ivy/group-x2.PII400
  87 share/examples/otter/ivy/group-x2.in
  88 share/examples/otter/ivy/lifsch.PII400
  89 share/examples/otter/ivy/lifsch.in
  90 share/examples/otter/ivy/p-and-not-p.PII400
  91 share/examples/otter/ivy/p-and-not-p.in
  92 share/examples/otter/ivy/steam.PII400
  93 share/examples/otter/ivy/steam.in
  94 share/examples/otter/ivy/t1.PII400
  95 share/examples/otter/ivy/t1.in
  96 share/examples/otter/kalman/ex_1.PII400
  97 share/examples/otter/kalman/ex_1.in
  98 share/examples/otter/kalman/ex_2.PII400
  99 share/examples/otter/kalman/ex_2.in
 100 share/examples/otter/kalman/ex_3.PII400
 101 share/examples/otter/kalman/ex_3.in
 102 share/examples/otter/kalman/ex_4.PII400
 103 share/examples/otter/kalman/ex_4.in
 104 share/examples/otter/kalman/i1.PII400
 105 share/examples/otter/kalman/i1.in
 106 share/examples/otter/kalman/i2.PII400
 107 share/examples/otter/kalman/i2.in
 108 share/examples/otter/kalman/i3.PII400
 109 share/examples/otter/kalman/i3.in
 110 share/examples/otter/kalman/i4.PII400
 111 share/examples/otter/kalman/i4.in
 112 share/examples/otter/misc/andrews.PII400
 113 share/examples/otter/misc/andrews.in
 114 share/examples/otter/misc/cn.PII400
 115 share/examples/otter/misc/cn.in
 116 share/examples/otter/misc/dem_alu.PII400
 117 share/examples/otter/misc/dem_alu.in
 118 share/examples/otter/misc/ec.PII400
 119 share/examples/otter/misc/ec.in
 120 share/examples/otter/misc/kb_bench.PII400
 121 share/examples/otter/misc/kb_bench.in
 122 share/examples/otter/misc/mv.PII400
 123 share/examples/otter/misc/mv.in
 124 share/examples/otter/misc/sax1.PII400
 125 share/examples/otter/misc/sax1.in
 126 share/examples/otter/misc/sax2.PII400
 127 share/examples/otter/misc/sax2.in
 128 share/examples/otter/misc/stage1.PII400
 129 share/examples/otter/misc/stage1.in
 130 share/examples/otter/misc/stage2.PII400
 131 share/examples/otter/misc/stage2.in
 132 share/examples/otter/misc/str_bws.PII400
 133 share/examples/otter/misc/str_bws.in
 134 share/examples/otter/objects
 135 share/examples/otter/program/eval.PII400
 136 share/examples/otter/program/eval.in
 137 share/examples/otter/program/jugs.PII400
 138 share/examples/otter/program/jugs.in
 139 share/examples/otter/program/mission.PII400
 140 share/examples/otter/program/mission.in
 141 share/examples/otter/program/queens.PII400
 142 share/examples/otter/program/queens.in
 143 share/examples/otter/program/two_inv.PII400
 144 share/examples/otter/program/two_inv.in
 145 share/examples/otter/split/GEO010-2.PII400
 146 share/examples/otter/split/GEO010-2.in
 147 share/examples/otter/split/GEO036-2.PII400
 148 share/examples/otter/split/GEO036-2.in
 149 share/examples/otter/split/GRP025-1.PII400
 150 share/examples/otter/split/GRP025-1.in
 151 share/examples/otter/split/README
 152 share/examples/otter/split/group2.PII400
 153 share/examples/otter/split/group2.in
 154 share/examples/otter/split/noncomm-group.PII400
 155 share/examples/otter/split/noncomm-group.in
 156 share/examples/otter/split/pair.PII400
 157 share/examples/otter/split/pair.in
 158 share/examples/otter/split/pigeon5.PII400
 159 share/examples/otter/split/pigeon5.in
 160 share/examples/otter/split/power.PII400
 161 share/examples/otter/split/power.in
 162 share/examples/otter/split/wang3.PII400
 163 share/examples/otter/split/wang3.in
 164 share/examples/otter/split/zebra2.PII400
 165 share/examples/otter/split/zebra2.in
 166 share/examples/otter/split/zebra4.PII400
 167 share/examples/otter/split/zebra4.in
 168 share/examples/otter/summary
 169 share/examples/otter/wos/README
 170 share/examples/otter/wos/cursory.PII400
 171 share/examples/otter/wos/cursory.in
 172 share/examples/otter/wos/grp_exp3.PII400
 173 share/examples/otter/wos/grp_exp3.in
 174 share/examples/otter/wos/grp_exp4.PII400
 175 share/examples/otter/wos/grp_exp4.in
 176 share/examples/otter/wos/manyval.PII400
 177 share/examples/otter/wos/manyval.in
 178 share/examples/otter/wos/rigorous.PII400
 179 share/examples/otter/wos/rigorous.in
 180 share/examples/otter/wos/rob_occ.PII400
 181 share/examples/otter/wos/rob_occ.in
 182 share/examples/otter/wos/twoval.PII400
 183 share/examples/otter/wos/twoval.in