equal
deleted
inserted
replaced
46 <ul> |
46 <ul> |
47 <li> Poly/ML versions 2.x and 3.1 on Suns. |
47 <li> Poly/ML versions 2.x and 3.1 on Suns. |
48 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several |
48 <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several |
49 problems with Linux and HP-UX. |
49 problems with Linux and HP-UX. |
50 <li> SML/NJ 1.07 on Suns, Linux, etc. |
50 <li> SML/NJ 1.07 on Suns, Linux, etc. |
51 <li> SML/NJ 1.09.27 on Suns, Linux, etc. |
51 <li> SML/NJ 1.09.27 and 1.09.28 on Suns, Linux, etc. |
52 </ul> |
52 </ul> |
53 |
53 |
54 <p> |
54 <p> |
55 |
55 |
56 <a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a |
56 <a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a |
64 href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">free</a>. |
64 href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">free</a>. |
65 The last official release is 0.93. Recent working versions may be |
65 The last official release is 0.93. Recent working versions may be |
66 better suited, under normal circumstances. Beware of the many |
66 better suited, under normal circumstances. Beware of the many |
67 incompatibilities among SML/NJ versions! From the 1.09.x family, we |
67 incompatibilities among SML/NJ versions! From the 1.09.x family, we |
68 now only support 1.09.27, or later. An unofficial pre-built binary |
68 now only support 1.09.27, or later. An unofficial pre-built binary |
69 distribution of SML/NJ 1.09.27 for Linux is also <a |
69 distribution of at least SML/NJ 1.09.27 for Linux is also <a |
70 href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">available.</a> |
70 href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">available.</a> |
|
71 If you have to re-build SML/NJ 1.09.x yourself from the sources, just |
|
72 comment out all targets except "sml" (cf. the installation |
|
73 instructions of the SML/NJ distribution). |
71 |
74 |
72 |
75 |
73 <h2>Installation</h2> |
76 <h2>Installation</h2> |
74 |
77 |
75 See file <tt>INSTALL</tt> in the Isabelle sources on how to build the |
78 See file <tt>INSTALL</tt> in the Isabelle sources on how to build the |