| @@ -1,455 +1,394 @@ | | | @@ -1,455 +1,394 @@ |
1 | @comment $NetBSD: PLIST,v 1.2 2009/06/14 18:03:36 joerg Exp $ | | 1 | @comment $NetBSD: PLIST,v 1.3 2023/02/25 17:55:24 ryoon Exp $ |
2 | bin/camlrunm | | 2 | bin/camlrunm |
3 | bin/mosml | | 3 | bin/mosml |
4 | bin/mosmlc | | 4 | bin/mosmlc |
5 | bin/mosmllex | | 5 | bin/mosmllex |
6 | bin/mosmlyac | | 6 | bin/mosmlyac |
7 | include/moscow_ml/alloc.h | | 7 | include/mosml/alloc.h |
8 | include/moscow_ml/callback.h | | 8 | include/mosml/callback.h |
9 | include/moscow_ml/config | | 9 | include/mosml/config.h |
10 | include/moscow_ml/config.h | | 10 | include/mosml/debugger.h |
11 | include/moscow_ml/debugger.h | | 11 | include/mosml/exec.h |
12 | include/moscow_ml/exec.h | | 12 | include/mosml/expand.h |
13 | include/moscow_ml/expand.h | | 13 | include/mosml/fail.h |
14 | include/moscow_ml/fail.h | | 14 | include/mosml/freelist.h |
15 | include/moscow_ml/freelist.h | | 15 | include/mosml/gc.h |
16 | include/moscow_ml/gc.h | | 16 | include/mosml/gc_ctrl.h |
17 | include/moscow_ml/gc_ctrl.h | | 17 | include/mosml/globals.h |
18 | include/moscow_ml/globals.h | | 18 | include/mosml/instruct.h |
19 | include/moscow_ml/instruct.h | | 19 | include/mosml/interp.h |
20 | include/moscow_ml/interp.h | | 20 | include/mosml/intext.h |
21 | include/moscow_ml/intext.h | | 21 | include/mosml/io.h |
22 | include/moscow_ml/io.h | | 22 | include/mosml/jumptbl.h |
23 | include/moscow_ml/jumptbl.h | | 23 | include/mosml/m.h |
24 | include/moscow_ml/m.h | | 24 | include/mosml/major_gc.h |
25 | include/moscow_ml/major_gc.h | | 25 | include/mosml/md5sum.h |
26 | include/moscow_ml/md5sum.h | | 26 | include/mosml/memory.h |
27 | include/moscow_ml/memory.h | | 27 | include/mosml/minor_gc.h |
28 | include/moscow_ml/minor_gc.h | | 28 | include/mosml/misc.h |
29 | include/moscow_ml/misc.h | | 29 | include/mosml/mlvalues.h |
30 | include/moscow_ml/mlvalues.h | | 30 | include/mosml/mosml.h |
31 | include/moscow_ml/mosml.h | | 31 | include/mosml/prims.h |
32 | include/moscow_ml/prims.h | | 32 | include/mosml/reverse.h |
33 | include/moscow_ml/reverse.h | | 33 | include/mosml/roots.h |
34 | include/moscow_ml/roots.h | | 34 | include/mosml/runtime.h |
35 | include/moscow_ml/runtime.h | | 35 | include/mosml/s.h |
36 | include/moscow_ml/s.h | | 36 | include/mosml/signals.h |
37 | include/moscow_ml/signals.h | | 37 | include/mosml/stacks.h |
38 | include/moscow_ml/stacks.h | | 38 | include/mosml/str.h |
39 | include/moscow_ml/str.h | | 39 | include/mosml/sys.h |
40 | include/moscow_ml/sys.h | | 40 | include/mosml/unalignd.h |
41 | include/moscow_ml/unalignd.h | | 41 | include/mosml/version.h |
42 | include/moscow_ml/version.h | | 42 | lib/mosml/AppleScript.sig |
43 | lib/moscow_ml/AppleScript.sig | | 43 | lib/mosml/Array.sig |
44 | lib/moscow_ml/Array.sig | | 44 | lib/mosml/Array.ui |
45 | lib/moscow_ml/Array.ui | | 45 | lib/mosml/Array.uo |
46 | lib/moscow_ml/Array.uo | | 46 | lib/mosml/Array2.sig |
47 | lib/moscow_ml/Array2.sig | | 47 | lib/mosml/Array2.ui |
48 | lib/moscow_ml/Array2.ui | | 48 | lib/mosml/Array2.uo |
49 | lib/moscow_ml/Array2.uo | | 49 | lib/mosml/ArraySlice.sig |
50 | lib/moscow_ml/Arraysort.sig | | 50 | lib/mosml/ArraySlice.ui |
51 | lib/moscow_ml/Arraysort.ui | | 51 | lib/mosml/ArraySlice.uo |
52 | lib/moscow_ml/Arraysort.uo | | 52 | lib/mosml/Arraysort.sig |
53 | lib/moscow_ml/BasicIO.sig | | 53 | lib/mosml/Arraysort.ui |
54 | lib/moscow_ml/BasicIO.ui | | 54 | lib/mosml/Arraysort.uo |
55 | lib/moscow_ml/BasicIO.uo | | 55 | lib/mosml/BasicIO.sig |
56 | lib/moscow_ml/BinIO.sig | | 56 | lib/mosml/BasicIO.ui |
57 | lib/moscow_ml/BinIO.ui | | 57 | lib/mosml/BasicIO.uo |
58 | lib/moscow_ml/BinIO.uo | | 58 | lib/mosml/BinIO.sig |
59 | lib/moscow_ml/Binarymap.sig | | 59 | lib/mosml/BinIO.ui |
60 | lib/moscow_ml/Binarymap.ui | | 60 | lib/mosml/BinIO.uo |
61 | lib/moscow_ml/Binarymap.uo | | 61 | lib/mosml/Binarymap.sig |
62 | lib/moscow_ml/Binaryset.sig | | 62 | lib/mosml/Binarymap.ui |
63 | lib/moscow_ml/Binaryset.ui | | 63 | lib/mosml/Binarymap.uo |
64 | lib/moscow_ml/Binaryset.uo | | 64 | lib/mosml/Binaryset.sig |
65 | lib/moscow_ml/Bool.sig | | 65 | lib/mosml/Binaryset.ui |
66 | lib/moscow_ml/Bool.ui | | 66 | lib/mosml/Binaryset.uo |
67 | lib/moscow_ml/Bool.uo | | 67 | lib/mosml/Bool.sig |
68 | lib/moscow_ml/Byte.sig | | 68 | lib/mosml/Bool.ui |
69 | lib/moscow_ml/Byte.ui | | 69 | lib/mosml/Bool.uo |
70 | lib/moscow_ml/Byte.uo | | 70 | lib/mosml/Buffer.sig |
71 | lib/moscow_ml/Callback.sig | | 71 | lib/mosml/Buffer.ui |
72 | lib/moscow_ml/Callback.ui | | 72 | lib/mosml/Buffer.uo |
73 | lib/moscow_ml/Callback.uo | | 73 | lib/mosml/Byte.sig |
74 | lib/moscow_ml/Char.sig | | 74 | lib/mosml/Byte.ui |
75 | lib/moscow_ml/Char.ui | | 75 | lib/mosml/Byte.uo |
76 | lib/moscow_ml/Char.uo | | 76 | lib/mosml/Callback.sig |
77 | lib/moscow_ml/CharArray.sig | | 77 | lib/mosml/Callback.ui |
78 | lib/moscow_ml/CharArray.ui | | 78 | lib/mosml/Callback.uo |
79 | lib/moscow_ml/CharArray.uo | | 79 | lib/mosml/Char.sig |
80 | lib/moscow_ml/CharVector.sig | | 80 | lib/mosml/Char.ui |
81 | lib/moscow_ml/CharVector.ui | | 81 | lib/mosml/Char.uo |
82 | lib/moscow_ml/CharVector.uo | | 82 | lib/mosml/CharArray.sig |
83 | lib/moscow_ml/CommandLine.sig | | 83 | lib/mosml/CharArray.ui |
84 | lib/moscow_ml/CommandLine.ui | | 84 | lib/mosml/CharArray.uo |
85 | lib/moscow_ml/CommandLine.uo | | 85 | lib/mosml/CharArraySlice.sig |
86 | lib/moscow_ml/Date.sig | | 86 | lib/mosml/CharArraySlice.ui |
87 | lib/moscow_ml/Date.ui | | 87 | lib/mosml/CharArraySlice.uo |
88 | lib/moscow_ml/Date.uo | | 88 | lib/mosml/CharVector.sig |
89 | lib/moscow_ml/Dynarray.sig | | 89 | lib/mosml/CharVector.ui |
90 | lib/moscow_ml/Dynarray.ui | | 90 | lib/mosml/CharVector.uo |
91 | lib/moscow_ml/Dynarray.uo | | 91 | lib/mosml/CharVectorSlice.sig |
92 | lib/moscow_ml/Dynlib.sig | | 92 | lib/mosml/CharVectorSlice.ui |
93 | lib/moscow_ml/Dynlib.ui | | 93 | lib/mosml/CharVectorSlice.uo |
94 | lib/moscow_ml/Dynlib.uo | | 94 | lib/mosml/CommandLine.sig |
95 | lib/moscow_ml/FileSys.sig | | 95 | lib/mosml/CommandLine.ui |
96 | lib/moscow_ml/FileSys.ui | | 96 | lib/mosml/CommandLine.uo |
97 | lib/moscow_ml/FileSys.uo | | 97 | lib/mosml/Date.sig |
98 | lib/moscow_ml/Gdbm.sig | | 98 | lib/mosml/Date.ui |
99 | lib/moscow_ml/Gdbm.ui | | 99 | lib/mosml/Date.uo |
100 | lib/moscow_ml/Gdbm.uo | | 100 | lib/mosml/Dynarray.sig |
101 | lib/moscow_ml/Gdimage.sig | | 101 | lib/mosml/Dynarray.ui |
102 | lib/moscow_ml/Gdimage.ui | | 102 | lib/mosml/Dynarray.uo |
103 | lib/moscow_ml/Gdimage.uo | | 103 | lib/mosml/Dynlib.sig |
104 | lib/moscow_ml/General.sig | | 104 | lib/mosml/Dynlib.ui |
105 | lib/moscow_ml/Help.sig | | 105 | lib/mosml/Dynlib.uo |
106 | lib/moscow_ml/Help.ui | | 106 | lib/mosml/FileSys.sig |
107 | lib/moscow_ml/Help.uo | | 107 | lib/mosml/FileSys.ui |
108 | lib/moscow_ml/IO.ui | | 108 | lib/mosml/FileSys.uo |
109 | lib/moscow_ml/IO.uo | | 109 | lib/mosml/Gdbm.sig |
110 | lib/moscow_ml/Int.sig | | 110 | lib/mosml/Gdbm.ui |
111 | lib/moscow_ml/Int.ui | | 111 | lib/mosml/Gdbm.uo |
112 | lib/moscow_ml/Int.uo | | 112 | lib/mosml/Gdimage.sig |
113 | lib/moscow_ml/Intmap.sig | | 113 | lib/mosml/Gdimage.ui |
114 | lib/moscow_ml/Intmap.ui | | 114 | lib/mosml/Gdimage.uo |
115 | lib/moscow_ml/Intmap.uo | | 115 | lib/mosml/General.sig |
116 | lib/moscow_ml/Intset.sig | | 116 | lib/mosml/Hashset.sig |
117 | lib/moscow_ml/Intset.ui | | 117 | lib/mosml/Hashset.ui |
118 | lib/moscow_ml/Intset.uo | | 118 | lib/mosml/Hashset.uo |
119 | lib/moscow_ml/Lexing.sig | | 119 | lib/mosml/Help.sig |
120 | lib/moscow_ml/Lexing.ui | | 120 | lib/mosml/Help.ui |
121 | lib/moscow_ml/Lexing.uo | | 121 | lib/mosml/Help.uo |
122 | lib/moscow_ml/List.sig | | 122 | lib/mosml/IO.ui |
123 | lib/moscow_ml/List.ui | | 123 | lib/mosml/IO.uo |
124 | lib/moscow_ml/List.uo | | 124 | lib/mosml/Int.sig |
125 | lib/moscow_ml/ListPair.sig | | 125 | lib/mosml/Int.ui |
126 | lib/moscow_ml/ListPair.ui | | 126 | lib/mosml/Int.uo |
127 | lib/moscow_ml/ListPair.uo | | 127 | lib/mosml/IntInf.sig |
128 | lib/moscow_ml/Listsort.sig | | 128 | lib/mosml/IntInf.ui |
129 | lib/moscow_ml/Listsort.ui | | 129 | lib/mosml/IntInf.uo |
130 | lib/moscow_ml/Listsort.uo | | 130 | lib/mosml/Intmap.sig |
131 | lib/moscow_ml/Location.sig | | 131 | lib/mosml/Intmap.ui |
132 | lib/moscow_ml/Location.ui | | 132 | lib/mosml/Intmap.uo |
133 | lib/moscow_ml/Location.uo | | 133 | lib/mosml/Intset.sig |
134 | lib/moscow_ml/Math.sig | | 134 | lib/mosml/Intset.ui |
135 | lib/moscow_ml/Math.ui | | 135 | lib/mosml/Intset.uo |
136 | lib/moscow_ml/Math.uo | | 136 | lib/mosml/Lexing.sig |
137 | lib/moscow_ml/Meta.sig | | 137 | lib/mosml/Lexing.ui |
138 | lib/moscow_ml/Misc.sig | | 138 | lib/mosml/Lexing.uo |
139 | lib/moscow_ml/Misc.ui | | 139 | lib/mosml/List.sig |
140 | lib/moscow_ml/Misc.uo | | 140 | lib/mosml/List.ui |
141 | lib/moscow_ml/Mosml.sig | | 141 | lib/mosml/List.uo |
142 | lib/moscow_ml/Mosml.ui | | 142 | lib/mosml/ListPair.sig |
143 | lib/moscow_ml/Mosml.uo | | 143 | lib/mosml/ListPair.ui |
144 | lib/moscow_ml/Mosmlcgi.sig | | 144 | lib/mosml/ListPair.uo |
145 | lib/moscow_ml/Mosmlcgi.ui | | 145 | lib/mosml/Listsort.sig |
146 | lib/moscow_ml/Mosmlcgi.uo | | 146 | lib/mosml/Listsort.ui |
147 | lib/moscow_ml/Mosmlcookie.sig | | 147 | lib/mosml/Listsort.uo |
148 | lib/moscow_ml/Mosmlcookie.ui | | 148 | lib/mosml/Location.sig |
149 | lib/moscow_ml/Mosmlcookie.uo | | 149 | lib/mosml/Location.ui |
150 | lib/moscow_ml/Msp.sig | | 150 | lib/mosml/Location.uo |
151 | lib/moscow_ml/Msp.ui | | 151 | lib/mosml/Math.sig |
152 | lib/moscow_ml/Msp.uo | | 152 | lib/mosml/Math.ui |
153 | lib/moscow_ml/Mysql.sig | | 153 | lib/mosml/Math.uo |
154 | lib/moscow_ml/Mysql.ui | | 154 | lib/mosml/Meta.sig |
155 | lib/moscow_ml/Mysql.uo | | 155 | lib/mosml/Misc.sig |
156 | lib/moscow_ml/NJ93.sig | | 156 | lib/mosml/Misc.ui |
157 | lib/moscow_ml/NJ93.ui | | 157 | lib/mosml/Misc.uo |
158 | lib/moscow_ml/NJ93.uo | | 158 | lib/mosml/Mosml.sig |
159 | lib/moscow_ml/Nonstdio.sig | | 159 | lib/mosml/Mosml.ui |
160 | lib/moscow_ml/Nonstdio.ui | | 160 | lib/mosml/Mosml.uo |
161 | lib/moscow_ml/Nonstdio.uo | | 161 | lib/mosml/Mosmlcgi.sig |
162 | lib/moscow_ml/OS.sig | | 162 | lib/mosml/Mosmlcgi.ui |
163 | lib/moscow_ml/OS.ui | | 163 | lib/mosml/Mosmlcgi.uo |
164 | lib/moscow_ml/OS.uo | | 164 | lib/mosml/Mosmlcookie.sig |
165 | lib/moscow_ml/Obj.ui | | 165 | lib/mosml/Mosmlcookie.ui |
166 | lib/moscow_ml/Obj.uo | | 166 | lib/mosml/Mosmlcookie.uo |
167 | lib/moscow_ml/Option.sig | | 167 | lib/mosml/Msp.sig |
168 | lib/moscow_ml/Option.ui | | 168 | lib/mosml/Msp.ui |
169 | lib/moscow_ml/Option.uo | | 169 | lib/mosml/Msp.uo |
170 | lib/moscow_ml/PP.sig | | 170 | lib/mosml/Mysql.sig |
171 | lib/moscow_ml/PP.ui | | 171 | lib/mosml/Mysql.ui |
172 | lib/moscow_ml/PP.uo | | 172 | lib/mosml/Mysql.uo |
173 | lib/moscow_ml/Parsing.sig | | 173 | lib/mosml/NJ93.sig |
174 | lib/moscow_ml/Parsing.ui | | 174 | lib/mosml/NJ93.ui |
175 | lib/moscow_ml/Parsing.uo | | 175 | lib/mosml/NJ93.uo |
176 | lib/moscow_ml/Path.sig | | 176 | lib/mosml/Nonstdio.sig |
177 | lib/moscow_ml/Path.ui | | 177 | lib/mosml/Nonstdio.ui |
178 | lib/moscow_ml/Path.uo | | 178 | lib/mosml/Nonstdio.uo |
179 | lib/moscow_ml/Polygdbm.sig | | 179 | lib/mosml/OS.sig |
180 | lib/moscow_ml/Polygdbm.ui | | 180 | lib/mosml/OS.ui |
181 | lib/moscow_ml/Polygdbm.uo | | 181 | lib/mosml/OS.uo |
182 | lib/moscow_ml/Polyhash.sig | | 182 | lib/mosml/Obj.ui |
183 | lib/moscow_ml/Polyhash.ui | | 183 | lib/mosml/Obj.uo |
184 | lib/moscow_ml/Polyhash.uo | | 184 | lib/mosml/Option.sig |
185 | lib/moscow_ml/Postgres.sig | | 185 | lib/mosml/Option.ui |
186 | lib/moscow_ml/Postgres.ui | | 186 | lib/mosml/Option.uo |
187 | lib/moscow_ml/Postgres.uo | | 187 | lib/mosml/PP.sig |
188 | lib/moscow_ml/Process.sig | | 188 | lib/mosml/PP.ui |
189 | lib/moscow_ml/Process.ui | | 189 | lib/mosml/PP.uo |
190 | lib/moscow_ml/Process.uo | | 190 | lib/mosml/Parsing.sig |
191 | lib/moscow_ml/README | | 191 | lib/mosml/Parsing.ui |
192 | lib/moscow_ml/Random.sig | | 192 | lib/mosml/Parsing.uo |
193 | lib/moscow_ml/Random.ui | | 193 | lib/mosml/Path.sig |
194 | lib/moscow_ml/Random.uo | | 194 | lib/mosml/Path.ui |
195 | lib/moscow_ml/Real.sig | | 195 | lib/mosml/Path.uo |
196 | lib/moscow_ml/Real.ui | | 196 | lib/mosml/Polygdbm.sig |
197 | lib/moscow_ml/Real.uo | | 197 | lib/mosml/Polygdbm.ui |
198 | lib/moscow_ml/Regex.sig | | 198 | lib/mosml/Polygdbm.uo |
199 | lib/moscow_ml/Regex.ui | | 199 | lib/mosml/Polyhash.sig |
200 | lib/moscow_ml/Regex.uo | | 200 | lib/mosml/Polyhash.ui |
201 | lib/moscow_ml/SML90.sig | | 201 | lib/mosml/Polyhash.uo |
202 | lib/moscow_ml/SML90.ui | | 202 | lib/mosml/Postgres.sig |
203 | lib/moscow_ml/SML90.uo | | 203 | lib/mosml/Postgres.ui |
204 | lib/moscow_ml/Signal.sig | | 204 | lib/mosml/Postgres.uo |
205 | lib/moscow_ml/Signal.ui | | 205 | lib/mosml/Process.sig |
206 | lib/moscow_ml/Signal.uo | | 206 | lib/mosml/Process.ui |
207 | lib/moscow_ml/Socket.sig | | 207 | lib/mosml/Process.uo |
208 | lib/moscow_ml/Socket.ui | | 208 | lib/mosml/README |
209 | lib/moscow_ml/Socket.uo | | 209 | lib/mosml/Random.sig |
210 | lib/moscow_ml/Splaymap.sig | | 210 | lib/mosml/Random.ui |
211 | lib/moscow_ml/Splaymap.ui | | 211 | lib/mosml/Random.uo |
212 | lib/moscow_ml/Splaymap.uo | | 212 | lib/mosml/Rbset.sig |
213 | lib/moscow_ml/Splayset.sig | | 213 | lib/mosml/Rbset.ui |
214 | lib/moscow_ml/Splayset.ui | | 214 | lib/mosml/Rbset.uo |
215 | lib/moscow_ml/Splayset.uo | | 215 | lib/mosml/Real.sig |
216 | lib/moscow_ml/Splaytree.sig | | 216 | lib/mosml/Real.ui |
217 | lib/moscow_ml/Splaytree.ui | | 217 | lib/mosml/Real.uo |
218 | lib/moscow_ml/Splaytree.uo | | 218 | lib/mosml/Redblackmap.sig |
219 | lib/moscow_ml/Strbase.sig | | 219 | lib/mosml/Redblackmap.ui |
220 | lib/moscow_ml/Strbase.ui | | 220 | lib/mosml/Redblackmap.uo |
221 | lib/moscow_ml/Strbase.uo | | 221 | lib/mosml/Regex.sig |
222 | lib/moscow_ml/String.sig | | 222 | lib/mosml/Regex.ui |
223 | lib/moscow_ml/String.ui | | 223 | lib/mosml/Regex.uo |
224 | lib/moscow_ml/String.uo | | 224 | lib/mosml/SML90.sig |
225 | lib/moscow_ml/StringCvt.sig | | 225 | lib/mosml/SML90.ui |
226 | lib/moscow_ml/StringCvt.ui | | 226 | lib/mosml/SML90.uo |
227 | lib/moscow_ml/StringCvt.uo | | 227 | lib/mosml/Signal.sig |
228 | lib/moscow_ml/Substring.sig | | 228 | lib/mosml/Signal.ui |
229 | lib/moscow_ml/Substring.ui | | 229 | lib/mosml/Signal.uo |
230 | lib/moscow_ml/Substring.uo | | 230 | lib/mosml/Socket.sig |
231 | lib/moscow_ml/Susp.sig | | 231 | lib/mosml/Socket.ui |
232 | lib/moscow_ml/Susp.ui | | 232 | lib/mosml/Socket.uo |
233 | lib/moscow_ml/Susp.uo | | 233 | lib/mosml/Splaymap.sig |
234 | lib/moscow_ml/TextIO.sig | | 234 | lib/mosml/Splaymap.ui |
235 | lib/moscow_ml/TextIO.ui | | 235 | lib/mosml/Splaymap.uo |
236 | lib/moscow_ml/TextIO.uo | | 236 | lib/mosml/Splayset.sig |
237 | lib/moscow_ml/Time.sig | | 237 | lib/mosml/Splayset.ui |
238 | lib/moscow_ml/Time.ui | | 238 | lib/mosml/Splayset.uo |
239 | lib/moscow_ml/Time.uo | | 239 | lib/mosml/Splaytree.sig |
240 | lib/moscow_ml/Timer.sig | | 240 | lib/mosml/Splaytree.ui |
241 | lib/moscow_ml/Timer.ui | | 241 | lib/mosml/Splaytree.uo |
242 | lib/moscow_ml/Timer.uo | | 242 | lib/mosml/Strbase.sig |
243 | lib/moscow_ml/Unix.sig | | 243 | lib/mosml/Strbase.ui |
244 | lib/moscow_ml/Unix.ui | | 244 | lib/mosml/Strbase.uo |
245 | lib/moscow_ml/Unix.uo | | 245 | lib/mosml/String.sig |
246 | lib/moscow_ml/Vector.sig | | 246 | lib/mosml/String.ui |
247 | lib/moscow_ml/Vector.ui | | 247 | lib/mosml/String.uo |
248 | lib/moscow_ml/Vector.uo | | 248 | lib/mosml/StringCvt.sig |
249 | lib/moscow_ml/Weak.sig | | 249 | lib/mosml/StringCvt.ui |
250 | lib/moscow_ml/Weak.ui | | 250 | lib/mosml/StringCvt.uo |
251 | lib/moscow_ml/Weak.uo | | 251 | lib/mosml/Substring.sig |
252 | lib/moscow_ml/Word.sig | | 252 | lib/mosml/Substring.ui |
253 | lib/moscow_ml/Word.ui | | 253 | lib/mosml/Substring.uo |
254 | lib/moscow_ml/Word.uo | | 254 | lib/mosml/Susp.sig |
255 | lib/moscow_ml/Word8.sig | | 255 | lib/mosml/Susp.ui |
256 | lib/moscow_ml/Word8.ui | | 256 | lib/mosml/Susp.uo |
257 | lib/moscow_ml/Word8.uo | | 257 | lib/mosml/TextIO.sig |
258 | lib/moscow_ml/Word8Array.sig | | 258 | lib/mosml/TextIO.ui |
259 | lib/moscow_ml/Word8Array.ui | | 259 | lib/mosml/TextIO.uo |
260 | lib/moscow_ml/Word8Array.uo | | 260 | lib/mosml/Time.sig |
261 | lib/moscow_ml/Word8Vector.sig | | 261 | lib/mosml/Time.ui |
262 | lib/moscow_ml/Word8Vector.ui | | 262 | lib/mosml/Time.uo |
263 | lib/moscow_ml/Word8Vector.uo | | 263 | lib/mosml/Timer.sig |
264 | lib/moscow_ml/camlrunm | | 264 | lib/mosml/Timer.ui |
265 | lib/moscow_ml/header | | 265 | lib/mosml/Timer.uo |
266 | lib/moscow_ml/helpsigs.val | | 266 | lib/mosml/Unix.sig |
267 | lib/moscow_ml/mosmlcmp | | 267 | lib/mosml/Unix.ui |
268 | lib/moscow_ml/mosmllex | | 268 | lib/mosml/Unix.uo |
269 | lib/moscow_ml/mosmllnk | | 269 | lib/mosml/Vector.sig |
270 | lib/moscow_ml/mosmltop | | 270 | lib/mosml/Vector.ui |
271 | libexec/moscow_ml/cutdeps | | 271 | lib/mosml/Vector.uo |
272 | libexec/moscow_ml/mosmldep | | 272 | lib/mosml/VectorSlice.sig |
273 | share/doc/moscow_ml/manual.pdf | | 273 | lib/mosml/VectorSlice.ui |
274 | share/doc/moscow_ml/mosmllib.pdf | | 274 | lib/mosml/VectorSlice.uo |
275 | share/doc/moscow_ml/mosmllib/AppleScript.html | | 275 | lib/mosml/Weak.sig |
276 | share/doc/moscow_ml/mosmllib/Array.html | | 276 | lib/mosml/Weak.ui |
277 | share/doc/moscow_ml/mosmllib/Array2.html | | 277 | lib/mosml/Weak.uo |
278 | share/doc/moscow_ml/mosmllib/Arraysort.html | | 278 | lib/mosml/Word.sig |
279 | share/doc/moscow_ml/mosmllib/BasicIO.html | | 279 | lib/mosml/Word.ui |
280 | share/doc/moscow_ml/mosmllib/BinIO.html | | 280 | lib/mosml/Word.uo |
281 | share/doc/moscow_ml/mosmllib/Binarymap.html | | 281 | lib/mosml/Word8.sig |
282 | share/doc/moscow_ml/mosmllib/Binaryset.html | | 282 | lib/mosml/Word8.ui |
283 | share/doc/moscow_ml/mosmllib/Bool.html | | 283 | lib/mosml/Word8.uo |
284 | share/doc/moscow_ml/mosmllib/Byte.html | | 284 | lib/mosml/Word8Array.sig |
285 | share/doc/moscow_ml/mosmllib/Callback.html | | 285 | lib/mosml/Word8Array.ui |
286 | share/doc/moscow_ml/mosmllib/Char.html | | 286 | lib/mosml/Word8Array.uo |
287 | share/doc/moscow_ml/mosmllib/CharArray.html | | 287 | lib/mosml/Word8ArraySlice.sig |
288 | share/doc/moscow_ml/mosmllib/CharVector.html | | 288 | lib/mosml/Word8ArraySlice.ui |
289 | share/doc/moscow_ml/mosmllib/CommandLine.html | | 289 | lib/mosml/Word8ArraySlice.uo |
290 | share/doc/moscow_ml/mosmllib/Date.html | | 290 | lib/mosml/Word8Vector.sig |
291 | share/doc/moscow_ml/mosmllib/Dynarray.html | | 291 | lib/mosml/Word8Vector.ui |
292 | share/doc/moscow_ml/mosmllib/Dynlib.html | | 292 | lib/mosml/Word8Vector.uo |
293 | share/doc/moscow_ml/mosmllib/FileSys.html | | 293 | lib/mosml/Word8VectorSlice.sig |
294 | share/doc/moscow_ml/mosmllib/Gdbm.html | | 294 | lib/mosml/Word8VectorSlice.ui |
295 | share/doc/moscow_ml/mosmllib/Gdimage.html | | 295 | lib/mosml/Word8VectorSlice.uo |
296 | share/doc/moscow_ml/mosmllib/General.html | | 296 | lib/mosml/camlrunm |
297 | share/doc/moscow_ml/mosmllib/Help.html | | 297 | lib/mosml/header |
298 | share/doc/moscow_ml/mosmllib/Int.html | | 298 | lib/mosml/helpsigs.val |
299 | share/doc/moscow_ml/mosmllib/Intmap.html | | 299 | lib/mosml/libmgmp.so |
300 | share/doc/moscow_ml/mosmllib/Intset.html | | 300 | lib/mosml/libmsocket.so |
301 | share/doc/moscow_ml/mosmllib/Lexing.html | | 301 | lib/mosml/libmunix.so |
302 | share/doc/moscow_ml/mosmllib/List.html | | 302 | lib/mosml/mosmlcmp |
303 | share/doc/moscow_ml/mosmllib/ListPair.html | | 303 | lib/mosml/mosmllex |
304 | share/doc/moscow_ml/mosmllib/Listsort.html | | 304 | lib/mosml/mosmllnk |
305 | share/doc/moscow_ml/mosmllib/Location.html | | 305 | lib/mosml/mosmltop |
306 | share/doc/moscow_ml/mosmllib/Math.html | | 306 | share/doc/mosml/manual.pdf |
307 | share/doc/moscow_ml/mosmllib/Meta.html | | 307 | share/doc/mosml/mosmllib.pdf |
308 | share/doc/moscow_ml/mosmllib/Mosml.html | | 308 | share/doc/mosml/mosmllib/AppleScript.html |
309 | share/doc/moscow_ml/mosmllib/Mosmlcgi.html | | 309 | share/doc/mosml/mosmllib/Array.html |
310 | share/doc/moscow_ml/mosmllib/Mosmlcookie.html | | 310 | share/doc/mosml/mosmllib/Array2.html |
311 | share/doc/moscow_ml/mosmllib/Msp.html | | 311 | share/doc/mosml/mosmllib/ArraySlice.html |
312 | share/doc/moscow_ml/mosmllib/Mysql.html | | 312 | share/doc/mosml/mosmllib/Arraysort.html |
313 | share/doc/moscow_ml/mosmllib/NJ93.html | | 313 | share/doc/mosml/mosmllib/BasicIO.html |
314 | share/doc/moscow_ml/mosmllib/Nonstdio.html | | 314 | share/doc/mosml/mosmllib/BinIO.html |
315 | share/doc/moscow_ml/mosmllib/OS.html | | 315 | share/doc/mosml/mosmllib/Binarymap.html |
316 | share/doc/moscow_ml/mosmllib/Option.html | | 316 | share/doc/mosml/mosmllib/Binaryset.html |
317 | share/doc/moscow_ml/mosmllib/PP.html | | 317 | share/doc/mosml/mosmllib/Bool.html |
318 | share/doc/moscow_ml/mosmllib/Parsing.html | | 318 | share/doc/mosml/mosmllib/Buffer.html |
319 | share/doc/moscow_ml/mosmllib/Path.html | | 319 | share/doc/mosml/mosmllib/Byte.html |
320 | share/doc/moscow_ml/mosmllib/Polygdbm.html | | 320 | share/doc/mosml/mosmllib/Callback.html |
321 | share/doc/moscow_ml/mosmllib/Polyhash.html | | 321 | share/doc/mosml/mosmllib/Char.html |
322 | share/doc/moscow_ml/mosmllib/Postgres.html | | 322 | share/doc/mosml/mosmllib/CharArray.html |
323 | share/doc/moscow_ml/mosmllib/Process.html | | 323 | share/doc/mosml/mosmllib/CharArraySlice.html |
324 | share/doc/moscow_ml/mosmllib/Random.html | | 324 | share/doc/mosml/mosmllib/CharVector.html |
325 | share/doc/moscow_ml/mosmllib/Real.html | | 325 | share/doc/mosml/mosmllib/CharVectorSlice.html |
326 | share/doc/moscow_ml/mosmllib/Regex.html | | 326 | share/doc/mosml/mosmllib/CommandLine.html |
327 | share/doc/moscow_ml/mosmllib/SML90.html | | 327 | share/doc/mosml/mosmllib/Date.html |
328 | share/doc/moscow_ml/mosmllib/Signal.html | | 328 | share/doc/mosml/mosmllib/Dynarray.html |
329 | share/doc/moscow_ml/mosmllib/Socket.html | | 329 | share/doc/mosml/mosmllib/Dynlib.html |
330 | share/doc/moscow_ml/mosmllib/Splaymap.html | | 330 | share/doc/mosml/mosmllib/FileSys.html |
331 | share/doc/moscow_ml/mosmllib/Splayset.html | | 331 | share/doc/mosml/mosmllib/Gdbm.html |
332 | share/doc/moscow_ml/mosmllib/String.html | | 332 | share/doc/mosml/mosmllib/Gdimage.html |
333 | share/doc/moscow_ml/mosmllib/StringCvt.html | | 333 | share/doc/mosml/mosmllib/General.html |
334 | share/doc/moscow_ml/mosmllib/Substring.html | | 334 | share/doc/mosml/mosmllib/Hashset.html |
335 | share/doc/moscow_ml/mosmllib/Susp.html | | 335 | share/doc/mosml/mosmllib/Help.html |
336 | share/doc/moscow_ml/mosmllib/TextIO.html | | 336 | share/doc/mosml/mosmllib/Int.html |
337 | share/doc/moscow_ml/mosmllib/Time.html | | 337 | share/doc/mosml/mosmllib/IntInf.html |
338 | share/doc/moscow_ml/mosmllib/Timer.html | | 338 | share/doc/mosml/mosmllib/Intmap.html |
339 | share/doc/moscow_ml/mosmllib/Unix.html | | 339 | share/doc/mosml/mosmllib/Intset.html |
340 | share/doc/moscow_ml/mosmllib/Vector.html | | 340 | share/doc/mosml/mosmllib/Lexing.html |
341 | share/doc/moscow_ml/mosmllib/Weak.html | | 341 | share/doc/mosml/mosmllib/List.html |
342 | share/doc/moscow_ml/mosmllib/Word.html | | 342 | share/doc/mosml/mosmllib/ListPair.html |
343 | share/doc/moscow_ml/mosmllib/Word8.html | | 343 | share/doc/mosml/mosmllib/Listsort.html |
344 | share/doc/moscow_ml/mosmllib/Word8Array.html | | 344 | share/doc/mosml/mosmllib/Location.html |
345 | share/doc/moscow_ml/mosmllib/Word8Vector.html | | 345 | share/doc/mosml/mosmllib/Math.html |
346 | share/doc/moscow_ml/mosmllib/idIndex.html | | 346 | share/doc/mosml/mosmllib/Meta.html |
347 | share/doc/moscow_ml/mosmllib/index.html | | 347 | share/doc/mosml/mosmllib/Mosml.html |
348 | share/doc/moscow_ml/mosmllib2up.pdf | | 348 | share/doc/mosml/mosmllib/Mosmlcgi.html |
349 | share/doc/moscow_ml/mosmlref.pdf | | 349 | share/doc/mosml/mosmllib/Mosmlcookie.html |
350 | share/examples/moscow_ml/Makefile | | 350 | share/doc/mosml/mosmllib/Msp.html |
351 | share/examples/moscow_ml/Makefile.w32 | | 351 | share/doc/mosml/mosmllib/Mysql.html |
352 | share/examples/moscow_ml/README | | 352 | share/doc/mosml/mosmllib/NJ93.html |
353 | share/examples/moscow_ml/Readme.w32 | | 353 | share/doc/mosml/mosmllib/Nonstdio.html |
354 | share/examples/moscow_ml/calc/Lexer.lex | | 354 | share/doc/mosml/mosmllib/OS.html |
355 | share/examples/moscow_ml/calc/Makefile | | 355 | share/doc/mosml/mosmllib/Option.html |
356 | share/examples/moscow_ml/calc/Makefile.w32 | | 356 | share/doc/mosml/mosmllib/PP.html |
357 | share/examples/moscow_ml/calc/Parser.grm | | 357 | share/doc/mosml/mosmllib/Parsing.html |
358 | share/examples/moscow_ml/calc/calc.sml | | 358 | share/doc/mosml/mosmllib/Path.html |
359 | share/examples/moscow_ml/cgi/Makefile | | 359 | share/doc/mosml/mosmllib/Polygdbm.html |
360 | share/examples/moscow_ml/cgi/Makefile.w32 | | 360 | share/doc/mosml/mosmllib/Polyhash.html |
361 | share/examples/moscow_ml/cgi/README | | 361 | share/doc/mosml/mosmllib/Postgres.html |
362 | share/examples/moscow_ml/cgi/README1 | | 362 | share/doc/mosml/mosmllib/Process.html |
363 | share/examples/moscow_ml/cgi/README2 | | 363 | share/doc/mosml/mosmllib/Random.html |
364 | share/examples/moscow_ml/cgi/cgiex1.sml | | 364 | share/doc/mosml/mosmllib/Rbset.html |
365 | share/examples/moscow_ml/cgi/cgiex2.sml | | 365 | share/doc/mosml/mosmllib/Real.html |
366 | share/examples/moscow_ml/cgi/cgitest.sml | | 366 | share/doc/mosml/mosmllib/Redblackmap.html |
367 | share/examples/moscow_ml/cgi/htmlform.html | | 367 | share/doc/mosml/mosmllib/Regex.html |
368 | share/examples/moscow_ml/cgi/upload.html | | 368 | share/doc/mosml/mosmllib/SML90.html |
369 | share/examples/moscow_ml/lexyacc/Data.sml | | 369 | share/doc/mosml/mosmllib/Signal.html |
370 | share/examples/moscow_ml/lexyacc/Lexer.lex | | 370 | share/doc/mosml/mosmllib/Socket.html |
371 | share/examples/moscow_ml/lexyacc/Main.sml | | 371 | share/doc/mosml/mosmllib/Splaymap.html |
372 | share/examples/moscow_ml/lexyacc/Makefile | | 372 | share/doc/mosml/mosmllib/Splayset.html |
373 | share/examples/moscow_ml/lexyacc/Makefile.w32 | | 373 | share/doc/mosml/mosmllib/String.html |
374 | share/examples/moscow_ml/lexyacc/Parser.grm | | 374 | share/doc/mosml/mosmllib/StringCvt.html |
375 | share/examples/moscow_ml/lexyacc/README | | 375 | share/doc/mosml/mosmllib/Substring.html |
376 | share/examples/moscow_ml/lexyacc/cl/append.cl | | 376 | share/doc/mosml/mosmllib/Susp.html |
377 | share/examples/moscow_ml/lexyacc/cl/edigits.cl | | 377 | share/doc/mosml/mosmllib/TextIO.html |
378 | share/examples/moscow_ml/lexyacc/cl/error1.cl | | 378 | share/doc/mosml/mosmllib/Time.html |
379 | share/examples/moscow_ml/lexyacc/cl/error2.cl | | 379 | share/doc/mosml/mosmllib/Timer.html |
380 | share/examples/moscow_ml/lexyacc/cl/error3.cl | | 380 | share/doc/mosml/mosmllib/Unix.html |
381 | share/examples/moscow_ml/lexyacc/cl/fib.cl | | 381 | share/doc/mosml/mosmllib/Vector.html |
382 | share/examples/moscow_ml/lexyacc/cl/fibs.cl | | 382 | share/doc/mosml/mosmllib/VectorSlice.html |
383 | share/examples/moscow_ml/lexyacc/cl/hamming.cl | | 383 | share/doc/mosml/mosmllib/Weak.html |
384 | share/examples/moscow_ml/lexyacc/cl/lists.cl | | 384 | share/doc/mosml/mosmllib/Word.html |
385 | share/examples/moscow_ml/lexyacc/cl/nats.cl | | 385 | share/doc/mosml/mosmllib/Word8.html |
386 | share/examples/moscow_ml/lexyacc/cl/sieve.cl | | 386 | share/doc/mosml/mosmllib/Word8Array.html |
387 | share/examples/moscow_ml/lexyacc/cl/takefrom.cl | | 387 | share/doc/mosml/mosmllib/Word8ArraySlice.html |
388 | share/examples/moscow_ml/lexyacc/load | | 388 | share/doc/mosml/mosmllib/Word8Vector.html |
389 | share/examples/moscow_ml/manual/Evaluate.sig | | 389 | share/doc/mosml/mosmllib/Word8VectorSlice.html |
390 | share/examples/moscow_ml/manual/Evaluate.sml | | 390 | share/doc/mosml/mosmllib/idIndex.html |
391 | share/examples/moscow_ml/manual/Expr.sml | | 391 | share/doc/mosml/mosmllib/index.html |
392 | share/examples/moscow_ml/manual/Makefile | | 392 | share/doc/mosml/mosmlref.pdf |
393 | share/examples/moscow_ml/manual/Makefile.w32 | | 393 | share/mosml/tools/cutdeps |
394 | share/examples/moscow_ml/manual/Reduce.sig | | 394 | share/mosml/tools/mosmldep |
395 | share/examples/moscow_ml/manual/Reduce.sml | | | |
396 | share/examples/moscow_ml/manual/load | | | |
397 | share/examples/moscow_ml/mls/Makefile | | | |
398 | share/examples/moscow_ml/mls/Makefile.w32 | | | |
399 | share/examples/moscow_ml/mls/mls.sml | | | |
400 | share/examples/moscow_ml/modules/README | | | |
401 | share/examples/moscow_ml/modules/array.sml | | | |
402 | share/examples/moscow_ml/modules/bootstrap.sml | | | |
403 | share/examples/moscow_ml/modules/choice.sml | | | |
404 | share/examples/moscow_ml/modules/collect.sml | | | |
405 | share/examples/moscow_ml/modules/matrix.sml | | | |
406 | share/examples/moscow_ml/modules/poly.sml | | | |
407 | share/examples/moscow_ml/modules/recursion.sml | | | |
408 | share/examples/moscow_ml/modules/sieve.sml | | | |
409 | share/examples/moscow_ml/parsercomb/Makefile | | | |
410 | share/examples/moscow_ml/parsercomb/Parsercomb.sig | | | |
411 | share/examples/moscow_ml/parsercomb/Parsercomb.sml | | | |
412 | share/examples/moscow_ml/parsercomb/README | | | |
413 | share/examples/moscow_ml/paulson/README | | | |
414 | share/examples/moscow_ml/paulson/sample.sml | | | |
415 | share/examples/moscow_ml/paulson/sample10.sml | | | |
416 | share/examples/moscow_ml/paulson/sample2.sml | | | |
417 | share/examples/moscow_ml/paulson/sample3.sml | | | |
418 | share/examples/moscow_ml/paulson/sample4.sml | | | |
419 | share/examples/moscow_ml/paulson/sample5.sml | | | |
420 | share/examples/moscow_ml/paulson/sample7.sml | | | |
421 | share/examples/moscow_ml/paulson/sample8.sml | | | |
422 | share/examples/moscow_ml/paulson/sample9.sml | | | |
423 | share/examples/moscow_ml/paulson/test10.sml | | | |
424 | share/examples/moscow_ml/pretty/Makefile | | | |
425 | share/examples/moscow_ml/pretty/Makefile.w32 | | | |
426 | share/examples/moscow_ml/pretty/ppexpr.sml | | | |
427 | share/examples/moscow_ml/pretty/pproman.sml | | | |
428 | share/examples/moscow_ml/small/README | | | |
429 | share/examples/moscow_ml/small/countperms.sml | | | |
430 | share/examples/moscow_ml/small/countqueens.sml | | | |
431 | share/examples/moscow_ml/small/perms.sml | | | |
432 | share/examples/moscow_ml/small/queens.sml | | | |
433 | share/examples/moscow_ml/small/roman.sml | | | |
434 | share/examples/moscow_ml/small/subsets.sml | | | |
435 | share/examples/moscow_ml/small/subsum.sml | | | |
436 | share/examples/moscow_ml/units/Evaluate.sig | | | |
437 | share/examples/moscow_ml/units/Evaluate.sm | | | |
438 | share/examples/moscow_ml/units/Evaluate.sml | | | |
439 | share/examples/moscow_ml/units/Expr.sml | | | |
440 | share/examples/moscow_ml/units/Makefile | | | |
441 | share/examples/moscow_ml/units/Makefile.w32 | | | |
442 | share/examples/moscow_ml/units/Reduce.sig | | | |
443 | share/examples/moscow_ml/units/Reduce.sml | | | |
444 | share/examples/moscow_ml/units/Test.sml | | | |
445 | share/examples/moscow_ml/units/load | | | |
446 | share/examples/moscow_ml/weak/Makefile | | | |
447 | share/examples/moscow_ml/weak/Makefile.w32 | | | |
448 | share/examples/moscow_ml/weak/README | | | |
449 | share/examples/moscow_ml/weak/hashcons.sml | | | |
450 | share/examples/moscow_ml/webserver/Makefile | | | |
451 | share/examples/moscow_ml/webserver/README | | | |
452 | share/examples/moscow_ml/webserver/echoserver.sml | | | |
453 | share/examples/moscow_ml/webserver/minimalserver.sml | | | |
454 | share/examples/moscow_ml/webserver/mosmlserver.sml | | | |
455 | share/examples/moscow_ml/webserver/useit.sml | | | |