prepared for Isabelle98;
authorwenzelm
Fri Dec 12 18:10:59 1997 +0100 (1997-12-12)
changeset 4401384108c6e209
parent 4400 e30bc68338c8
child 4402 3b53dd8e9e23
prepared for Isabelle98;
README.html
     1.1 --- a/README.html	Fri Dec 12 17:51:45 1997 +0100
     1.2 +++ b/README.html	Fri Dec 12 18:10:59 1997 +0100
     1.3 @@ -13,18 +13,17 @@
     1.4  
     1.5  <h2>Version information</h2>
     1.6  
     1.7 -This is <strong>Isabelle-94 revision 8</strong> as of May
     1.8 -1997. Basically, it should be backwards compatible to earlier
     1.9 -Isabelle-94 releases. Older versions (like Isabelle-93) are quite
    1.10 -different, though. See also the <tt>NEWS</tt> file in the distribution
    1.11 -for a more detailed list of new features and changes.
    1.12 +This is <strong>Isabelle98</strong> as of January 1998.  Compared to
    1.13 +the Isabelle94 line it introduces many new features, but also some
    1.14 +imcompatibilities.  See the <tt>NEWS</tt> file in the distribution for
    1.15 +more details.
    1.16  
    1.17  
    1.18  <h2>System requirements</h2>
    1.19  
    1.20  Isabelle requires a real Unix box with sufficient resources. Fun
    1.21  starts at about 32MB of memory (somewhat depending on your ML system),
    1.22 -several tens of MB disk space and with a relatively fast CPU.
    1.23 +with several tens of MB disk space and a relatively fast CPU.
    1.24  
    1.25  <p>
    1.26  
    1.27 @@ -44,7 +43,8 @@
    1.28  <li> Poly/ML versions 2.x and 3.1 on Suns.
    1.29  <li> SML/NJ 0.93 on Suns and SGIs. There seem to be several
    1.30  problems with Linux and HP-UX.
    1.31 -<li> SML/NJ 1.09.27 or later on Suns, Linux, etc.
    1.32 +<li> SML/NJ versions 109.27 to 109.33 on Suns, Linux, etc.
    1.33 +<li> SML/NJ 110 on Suns, Linux, etc.
    1.34  </ul>
    1.35  
    1.36  <p>
    1.37 @@ -58,15 +58,12 @@
    1.38  
    1.39  SML/NJ needs lots of store and disk space, but it is <a
    1.40  href="http://cm.bell-labs.com/cm/cs/what/smlnj/software.html">free</a>.
    1.41 -The last official release is 0.93.  Recent working versions may be
    1.42 -better suited, under normal circumstances.  Beware of the many
    1.43 -incompatibilities among SML/NJ versions! From the 1.09.x family, we
    1.44 -now only support 1.09.27, or later.  An unofficial pre-built binary
    1.45 -distribution of at least SML/NJ 1.09.27 for Linux is also <a
    1.46 -href="http://www4.informatik.tu-muenchen.de/~wenzelm/resources.html">available.</a>
    1.47 -If you have to re-build SML/NJ 1.09.x yourself from the sources, just
    1.48 -comment out all targets except "sml" (cf. the installation
    1.49 -instructions of the SML/NJ distribution).
    1.50 +The current official release is 110.  We also still support the old
    1.51 +0.93 release and working versions 109.27 to 109.33.  Support for the
    1.52 +109 line of SML/NJ will be dropped next time!  There is an unofficial
    1.53 +pre-built binary distribution of <a
    1.54 +href="http://www4.informatik.tu-muenchen.de/~isabelle/dist/smlnj-110/">SML/NJ
    1.55 +110 for Linux.</a>
    1.56  
    1.57  
    1.58  <h2>Installation</h2>