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.