diff -r 8e95bd329fff -r aee7effe0816 README.html --- a/README.html Wed Aug 06 14:15:05 1997 +0200 +++ b/README.html Wed Aug 06 14:35:52 1997 +0200 @@ -47,8 +47,7 @@
  • Poly/ML versions 2.x and 3.1 on Suns.
  • 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 and 1.09.28 on Suns, Linux, etc. +
  • SML/NJ 1.09.27 or later on Suns, Linux, etc.