diff -r 88cd6a2c6ebe -r 85a7eede097e README.html --- a/README.html Tue May 27 13:26:42 1997 +0200 +++ b/README.html Tue May 27 14:38:49 1997 +0200 @@ -48,7 +48,7 @@
  • SML/NJ 0.93 on Suns and SGIs. There seem to be several problems with Linux and HP-UX.
  • SML/NJ 1.07 on Suns, Linux, etc. -
  • SML/NJ 1.09.27 on Suns, Linux, etc. +
  • SML/NJ 1.09.27 and 1.09.28 on Suns, Linux, etc.

    @@ -66,8 +66,11 @@ better suited, under normal circumstances. Beware of the many incompatibilities among SML/NJ versions! From the 1.09.x family, we now only support 1.09.27, or later. An unofficial pre-built binary -distribution of SML/NJ 1.09.27 for Linux is also available. +If you have to re-build SML/NJ 1.09.x yourself from the sources, just +comment out all targets except "sml" (cf. the installation +instructions of the SML/NJ distribution).

    Installation