README.html
changeset 3360 85a7eede097e
parent 3322 bc4d107fb6dd
child 3630 aee7effe0816
equal deleted inserted replaced
3359:88cd6a2c6ebe 3360:85a7eede097e
    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