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 996 - (view) (download) (as text)

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

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