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