Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /pages/trunk/software.html
ViewVC logotype

Annotation of /pages/trunk/software.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1071 - (view) (download) (as text)

1 : mblume 996 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
2 :     <html>
3 :     <head>
4 : mblume 1071 <!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories -->
5 : mblume 996 <title>SML/NJ Software</title>
6 : mblume 1071 <!-- Changed by: Lal George, 13-Oct-1997 -->
7 : mblume 996 </head>
8 :     <body bgcolor="white">
9 : mblume 1071
10 :     <center>
11 : mblume 996 <h1>SML/NJ Software</h1>
12 : mblume 1071 </center>
13 :    
14 :     <blockquote> This page provides pointers to the SML/NJ software distributions
15 :     and installation instructions.
16 :     <hr>
17 : mblume 996 <h2>Current Release</h2>
18 : mblume 1071
19 :     <p> The current release of SML/NJ is <a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110-README.html">
20 :     <strong> Version 110</strong></a>, originally introduced in February
21 :     1998. Version 110 runs under Unix, Windows 95 or Windows NT. (<em>The
22 :     the current release version number is 110.0.7, representing the 7th patch
23 :     release of 110, but we will refer to this version as 110 for short.</em>
24 :     ) </p>
25 :    
26 : mblume 996 <p> </p>
27 : mblume 1071
28 : mblume 996 <h3>Installation Instructions</h3>
29 : mblume 1071
30 :     <p> To download and install SML/NJ 110, follow these <a href="file:///home/sml/Doc/WWW/smlnj/install/index.html"><strong>
31 :     installation instructions</strong></a>. <a name="Mirrors">
32 :    
33 : mblume 996 <h3> The Distribution Files </h3>
34 : mblume 1071 </a> </p>
35 :    
36 :     <blockquote> NOTE: the names of the distribution files have changed in
37 :     110.0.7; the tarball files no longer have a "110-" prefix. </blockquote>
38 :     The files making up the Version 110 distribution are available via http
39 :     or ftp:
40 :     <blockquote> <a href="file:///home/sml/Doc/WWW/smlnj/dist/110.0.7.html">
41 :     http://cm.bell-labs.com/cm/cs/what/smlnj/dist/110.0.7.html</a><br>
42 :     <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110"> ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/</a>
43 :     </blockquote>
44 :     and at the following mirror sites (if you run a mirror site not listed
45 :     here, please let us know):
46 : mblume 996 <ul>
47 : mblume 1071 <li><a href="ftp://rodin.stanford.edu/pub/smlnj"> <strong>Stanford
48 : mblume 1042 University (California)</strong> </a> </li>
49 : mblume 1071 <li><a href="ftp://flint.cs.yale.edu/pub/smlnj"> <strong>Yale
50 :     University (Connecticut)</strong> </a> </li>
51 :     <li><a href="ftp://ftp.diku.dk/pub/smlnj"> <strong>DIKU (Denmark)</strong>
52 :     </a> </li>
53 :     <li><a href="ftp://ftp.cl.cam.ac.uk/MIRRORED/smlnj"><strong>Cambridge
54 :     (UK)</strong></a> </li>
55 :     <li><a href="ftp://sunsite.doc.ic.ac.uk/computing/programming/languages/ml/smlnj/">
56 :     <strong>SunSITE (UK)</strong></a> </li>
57 :     <li><a href="ftp://ftp.ntua.gr/pub/lang/smlnj"><strong>National
58 : mblume 1042 Technical Univ. of Athens (Greece)</strong></a> </li>
59 : mblume 1071 <li><a href="ftp://ropas.kaist.ac.kr/pub/smlnj/"><strong>KAIST
60 :     (Korea)</strong></a> </li>
61 :     <li><a href="http://gd.tuwien.ac.at/languages/smlnj/"><strong>
62 :     Vienna Univ. of Technology, Austria</strong></a> (<a href="ftp://gd.tuwien.ac.at/languages/smlnj/">
63 :     ftp version</a>) </li>
64 :    
65 : mblume 996 </ul>
66 : mblume 1071
67 : mblume 996 <h3> Previous Release </h3>
68 : mblume 1071 Users of the previous release, <a href="file:///home/sml/Doc/WWW/smlnj/NEWS/93-README.html">
69 :     Version 0.93</a> (released in 1993) should migrate to Version 110 as soon
70 :     as possible. Version 0.93 is available but is no longer supported. However,
71 :     for the time being it is the only version that runs on Apple Macintoshes
72 :     (on 68K machines, or PowerMacs under emulation with the aid of SoftwareFPU).
73 :    
74 : mblume 996 <h3>Potential Downloading Problems (Bell Labs site)</h3>
75 : mblume 1071
76 :     <p> We have had reports of distribution files being corrupted when downloaded
77 :     via a web browser. Using ftp directly may be more reliable, but be warned
78 :     that Bell Labs ftp service is incompatible with some firewalls. The ftp
79 :     service on ftp.research.bell-labs.com uses special stripped-down server software
80 :     for security. This implementation deviates from the RFC standards in that
81 :     the data call-back circuit does not originate from port 20 on the server
82 :     host. Some firewalls count on this in their filtering rules. If the dir (ls)
83 :     command doesn't work, this is probably the reason why. However, most ftp
84 :     accesses (including browsers) these days use the passive command PASV, which
85 :     has a better security model for a firewall. If all else fails, try one of
86 :     the mirror sites listed above. </p>
87 :    
88 :     <hr> <a name="SOFTWARE:WORKING-VERSIONS"> </a>
89 :    
90 : mblume 996 <h2><a name="SOFTWARE:WORKING-VERSIONS"> Working Versions </a></h2>
91 : mblume 1071 <a name="SOFTWARE:WORKING-VERSIONS">Working versions are created for
92 :     internal development purposes and vary in reliability and stability. Some
93 :     are robust enough for noncritical research use, others are not. Please pay
94 :     careful attention to the README or NEWS file for each version before attempting
95 :     to use it. These working versions can be found at </a><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working">
96 :     ftp.research.bell-labs.com</a>.
97 :     <p> <a href="mailto:george@research.bell-labs.com">Lal George</a> maintains
98 :     a mailing list for those adventurous souls who want to receive announcements
99 :     of new working versions. Contact Lal if you want to be added to (or subtracted
100 :     from) the list. </p>
101 :    
102 :     <p> The following table gives access to README files for recent working
103 :     versions and the ftp directories for working versions that are currently
104 :     available for downloading. The <a href="file:///home/sml/Doc/WWW/smlnj/install/index.html">
105 :     installation instructions</a> for the release version will generally work,
106 :     <em>mutatis mutandis</em>, for working versions. </p>
107 :    
108 :     <p> After version 110.9.1, the older "cmachine" (i.e. non-MLRISC) code
109 :     generators have been eliminated, so a more limited range of architectures
110 :     will be supported until the new MLRISC code generators are implemented.
111 :     Other major changes involving FLINT and the transition to a new runtime
112 :     system are under way, so expect some instability after 110.9.1. </p>
113 :    
114 : mblume 996 <p> </p>
115 : mblume 1071
116 : mblume 996 <h3> Recent Working Versions </h3>
117 : mblume 1071
118 : mblume 996 <table border="1">
119 : mblume 1071 <tbody>
120 :     <tr>
121 :     <th> README </th>
122 :     <th> Released </th>
123 :     <th> Software Links </th>
124 :     </tr>
125 :     <tr>
126 :     <td valign="top"><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.39-README.html"><b>
127 :     110.39</b></a><br>
128 :     </td>
129 :     <td valign="top">February 15, 2002<br>
130 :     </td>
131 :     <td valign="top"><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.39/">
132 :     /dist/smlnj/working/110.39</a><br>
133 :     </td>
134 :     </tr>
135 :     <tr>
136 :     <td valign="top"><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.38-README.html"><b>
137 :     110.38</b></a><br>
138 :     </td>
139 :     <td valign="top">January 28, 2002<br>
140 :     </td>
141 :     <td valign="top"><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.38/">
142 :     /dist/smlnj/working/110.38</a><br>
143 :     </td>
144 :     </tr>
145 :     <tr>
146 :     <td valign="top"><b><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.37-README.html">
147 :     110.37</a></b><br>
148 :     </td>
149 :     <td valign="top">November 23, 2001<br>
150 :     </td>
151 :     <td valign="top"><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.37/">
152 :     /dist/smlnj/working/110.37</a><br>
153 :     </td>
154 :     </tr>
155 :     <tr>
156 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.36-README.html"><b>
157 :     110.36 </b></a> <b> </b></td>
158 :     <td>September 18, 2001 </td>
159 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.36">
160 :     /dist/smlnj/working/110.36</a> </td>
161 :     </tr>
162 :     <tr>
163 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.35-README"><b>
164 :     110.35 </b></a> <b> </b></td>
165 :     <td>August 24, 2001 </td>
166 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.35">
167 :     /dist/smlnj/working/110.35</a> </td>
168 :     </tr>
169 :     <tr>
170 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.34-README.html"><b>
171 :     110.34 </b></a> <b> </b></td>
172 :     <td>July 10, 2001 </td>
173 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.34">
174 :     /dist/smlnj/working/110.34</a> </td>
175 :     </tr>
176 :     <tr>
177 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.33-README.html"><b>
178 :     110.33 </b></a> <b> </b></td>
179 :     <td>May 23, 2001 </td>
180 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.33">
181 :     /dist/smlnj/working/110.33</a> </td>
182 :     </tr>
183 :     <tr>
184 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.32-README.html"><b>
185 :     110.32 </b></a> <b> </b></td>
186 :     <td>December 22, 2000 </td>
187 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.32">
188 :     /dist/smlnj/working/110.32</a> </td>
189 :     </tr>
190 :     <tr>
191 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.31-README.html"><b>
192 :     110.31 </b></a> <b> </b></td>
193 :     <td>December 8, 2000 </td>
194 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.31">
195 :     /dist/smlnj/working/110.31</a> </td>
196 :     </tr>
197 :     <tr>
198 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.30-README.html"><b>
199 :     110.30 </b></a> <b> </b></td>
200 :     <td>November 4, 2000 </td>
201 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.30">
202 :     /dist/smlnj/working/110.30</a> </td>
203 :     </tr>
204 :     <tr>
205 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.29-README"><b>
206 :     110.29 </b></a> <b> </b></td>
207 :     <td>July 25, 2000 </td>
208 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.29">
209 :     /dist/smlnj/working/110.29</a> </td>
210 :     </tr>
211 :     <tr>
212 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.28-README.html"><b>
213 :     110.28 </b></a> <b> </b></td>
214 :     <td>May 1, 2000 </td>
215 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.28">
216 :     /dist/smlnj/working/110.28</a> </td>
217 :     </tr>
218 :     <tr>
219 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.27-README.html"><b>
220 :     110.27 </b></a> <b> </b></td>
221 :     <td>April 10, 2000 </td>
222 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.27">
223 :     /dist/smlnj/working/110.27</a> </td>
224 :     </tr>
225 :     <tr>
226 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.25-README.html"><b>
227 :     110.25 </b></a> <b> </b></td>
228 :     <td>December 6, 1999 </td>
229 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.25">
230 :     /dist/smlnj/working/110.25</a> </td>
231 :     </tr>
232 :     <tr>
233 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.24-README.html"><b>
234 :     110.24 </b></a> <b> </b></td>
235 :     <td>November 1, 1999 </td>
236 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.24">
237 :     /dist/smlnj/working/110.24</a> </td>
238 :     </tr>
239 :     <tr>
240 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.23-README.html"><b>
241 :     110.23 </b></a> <b> </b></td>
242 :     <td>October 9, 1999 </td>
243 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.23">
244 :     /dist/smlnj/working/110.23</a> </td>
245 :     </tr>
246 :     <tr>
247 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.22-README.html"><b>
248 :     110.22 </b></a> <b> </b></td>
249 :     <td>September 9, 1999 </td>
250 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.22">
251 :     /dist/smlnj/working/110.22</a> </td>
252 :     </tr>
253 :     <tr>
254 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.21-README.html"><b>
255 :     110.21 </b></a> <b> </b></td>
256 :     <td>September 3, 1999 </td>
257 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.21">
258 :     /dist/smlnj/working/110.21</a> </td>
259 :     </tr>
260 :     <tr>
261 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.20-README.html"><b>
262 :     110.20 </b></a> <b> </b></td>
263 :     <td>July 16, 1999 </td>
264 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.20">
265 :     /dist/smlnj/working/110.20</a> </td>
266 :     </tr>
267 :     <tr>
268 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.19-README.html"><b>
269 :     110.19 </b></a> <b> </b></td>
270 :     <td>July 8, 1999 </td>
271 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.19">
272 :     /dist/smlnj/working/110.19</a> </td>
273 :     </tr>
274 :     <tr>
275 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.17-README.html"><b>
276 :     110.17 </b></a> <b> </b></td>
277 :     <td>May 20, 1999 </td>
278 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.17">
279 :     /dist/smlnj/working/110.17</a> </td>
280 :     </tr>
281 :     <tr>
282 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.16-README.html"><b>
283 :     110.16 </b></a> <b> </b></td>
284 :     <td>April 16, 1999 </td>
285 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.16">
286 :     /dist/smlnj/working/110.16</a> </td>
287 :     </tr>
288 :     <tr>
289 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.15-README.html"><b>
290 :     110.15 </b></a> <b> </b></td>
291 :     <td>March 22, 1999 </td>
292 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.15">
293 :     /dist/smlnj/working/110.15</a> </td>
294 :     </tr>
295 :     <tr>
296 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.14-README.html"><b>
297 :     110.14 </b></a> <b> </b></td>
298 :     <td>Feb 22, 1999 </td>
299 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.14">
300 :     /dist/smlnj/working/110.14</a> </td>
301 :     </tr>
302 :     <tr>
303 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.13-README"><b>
304 :     110.13 </b></a> <b> </b></td>
305 :     <td>Jan 16, 1999 </td>
306 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.13">
307 :     /dist/smlnj/working/110.13</a> </td>
308 :     </tr>
309 :     <tr>
310 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.12-README"><b>
311 :     110.12 </b></a> <b> </b></td>
312 :     <td>Jan 12, 1999 </td>
313 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.12">
314 :     /dist/smlnj/working/110.12</a> </td>
315 :     </tr>
316 :     <tr>
317 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.11-README"><b>
318 :     110.11 </b></a> <b> </b></td>
319 :     <td> Dec 22, 1998 </td>
320 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.11">
321 :     /dist/smlnj/working/110.11</a> </td>
322 :     </tr>
323 :     <tr>
324 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.10-README"><b>
325 :     110.10 </b></a> <b> </b></td>
326 :     <td>Dec 20, 1998 </td>
327 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.10">
328 :     /dist/smlnj/working/110.10</a> </td>
329 :     </tr>
330 :     <tr>
331 :     <td><a href="file:///home/sml/Doc/WWW/smlnj/NEWS/110.9.1-README.html"><b>
332 :     110.9.1 </b></a> <b> </b></td>
333 :     <td>Oct 19, 1998 </td>
334 :     <td><a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.9.1">
335 :     /dist/smlnj/working/110.9.1</a> </td>
336 :     </tr>
337 :    
338 :     </tbody>
339 : mblume 996 </table>
340 : mblume 1071
341 :     <hr> <a name="packages">
342 : mblume 996 <h2> Packages </h2>
343 : mblume 1071 </a>
344 : mblume 996 <p> The directory </p>
345 : mblume 1071
346 : mblume 996 <blockquote> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/packages/">
347 : mblume 1071 ftp://ftp.research.bell-labs.com/dist/smlnj/packages/</a>. </blockquote>
348 :     contains software packages that are not part of the core SML/NJ distribution.
349 :     Currently, this directory contains:
350 :    
351 : mblume 996 <ul>
352 : mblume 1071 <li> <a href="file:///home/sml/Doc/WWW/smlnj/doc/ckit/index.html"><strong>
353 :     ckit</strong></a>, a C front end. </li>
354 :    
355 : mblume 996 </ul>
356 : mblume 1071 <a name="benchmarks">
357 : mblume 996 <h2> Benchmarks </h2>
358 : mblume 1071 </a>
359 :     <p> A set of programs used as a "benchmark suite" for Standard ML
360 :     is available at: </p>
361 :    
362 : mblume 996 <blockquote> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/benchmarks/">
363 : mblume 1071 ftp://ftp.research.bell-labs.com/dist/smlnj/benchmarks/</a>. </blockquote>
364 :    
365 : mblume 996 <h2> SML/NJ Compiler Test Suites </h2>
366 : mblume 1071
367 :     <p> The regression test suites used for the SML/NJ compiler are
368 : mblume 1042 available at: </p>
369 : mblume 1071
370 : mblume 996 <blockquote> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/testing/">
371 : mblume 1071 ftp://ftp.research.bell-labs.com/dist/smlnj/testing/</a>. </blockquote>
372 :    
373 : mblume 996 <h2> <a name="contrib">Contributed Software</a> </h2>
374 : mblume 1071
375 : mblume 996 <p> Some contributed software packages can be found at </p>
376 : mblume 1071
377 : mblume 996 <blockquote> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/">
378 : mblume 1071 ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/</a>. </blockquote>
379 :     Currently this directory contains:
380 :    
381 : mblume 996 <dl>
382 :     <dt> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/emacs">
383 : mblume 1071 <strong>emacs</strong></a> </dt>
384 :     <dd> The sml-mode package provides an emacs mode for editing
385 :     sml code under Gnu emacs and running the sml top-level as a subprocess of
386 :     emacs. Originally developed by Matthew J. Morley, it is now maintained
387 : mblume 996 by <a href="mailto:monnier@cs.yale.edu">Stefan Monnier</a>
388 : mblume 1071 . The latest version is 3.9.5 (Dec 22, 2000). <a href="file:///home/sml/Doc/WWW/smlnj/doc/Emacs/sml-mode.html">
389 :     Online documentation</a> is available here. The latest sml-mode tarball
390 :     is available at <a href="ftp://flint.cs.yale.edu/pub/monnier/sml-mode/sml-mode.tar.gz">
391 :     Yale</a> and is mirrored at <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/emacs/sml-mode-3.9.5.tar.gz">
392 :     Bell Labs</a>.
393 :    
394 : mblume 996 <p> </p>
395 : mblume 1071 </dd>
396 : mblume 996 <dt><strong>tools</strong> </dt>
397 : mblume 1071 <dd> Various software tools, including:
398 :    
399 :    
400 : mblume 996 <ul>
401 : mblume 1071 <li> <a href="file:///home/sml/Doc/WWW/smlnj/doc/heap2exec/index.html">
402 :     heap2exec</a>, Lorenz Huelsbergen's "heap2exec" utility for building Unix
403 :     executables from heap images and the SML/NJ runtime executable. </li>
404 :     <li> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/tools/lexgenmos.tar.Z">
405 :     lexgenmos.tar.Z</a>, a translation of the Moscow ML lexer generator,
406 :     which produces lexers that run a bit faster than the improved ML-Lex in working
407 :     version 110.7. </li>
408 :    
409 :    
410 : mblume 996 </ul>
411 : mblume 1042
412 : mblume 1071
413 : mblume 996 <p> </p>
414 : mblume 1071 </dd>
415 : mblume 996 <dt><strong>lib</strong> </dt>
416 : mblume 1071 <dd> Some contributed or "borrowed" libraries, including:
417 :    
418 :    
419 : mblume 996 <ul>
420 : mblume 1071 <li> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/lib/CGI.tar.Z">
421 :     CGI.tar.Z</a>, a port of Moscow ML's CGI library. </li>
422 :     <li> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/lib/Util.tar.Z">
423 :     Util.tar.Z</a>, utility modules contributed by Nikolai Bjorner and Matthias
424 :     Blume. </li>
425 :     <li> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/contrib/lib/getopt.tar.Z">
426 :     getopt.tar.Z</a>, a port (via Haskell) of the GNU getopt library. </li>
427 : mblume 1042
428 : mblume 1071
429 : mblume 996 </ul>
430 : mblume 1071 </dd>
431 : mblume 996 </dl>
432 : mblume 1042
433 : mblume 1071
434 :     <p> Additional packages will be added as they become
435 :     available. New contributions are eagerly sought! </p>
436 :     </blockquote>
437 : mblume 1042
438 : mblume 1071
439 :     <hr>
440 :    
441 :     <center><strong> | <a href="file:///home/sml/Doc/WWW/smlnj/index.html">
442 :     SML/NJ Home Page</a> | </strong></center>
443 : mblume 1042
444 : mblume 1071
445 : mblume 996 <hr> Send your comments to <a href="mailto:sml-nj@research.bell-labs.com">
446 : mblume 1071 sml-nj@research.bell-labs.com</a><br>
447 :     <font size="-3"> Copyright &copy; 1998, <a href="http://www.lucent.com/">
448 :     Lucent Technologies; Bell Laboratories</a>. <br>
449 :     </font>
450 :    
451 : mblume 996 </body>
452 :     </html>

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0