# HG changeset patch # User wenzelm # Date 864206852 -7200 # Node ID 70939b0fadfbc20af690e2ba9c4feb550c8c94ff # Parent 114704740c86ab3ce64004a02bfac76399b7afc3 tuned; diff -r 114704740c86 -r 70939b0fadfb README.html --- a/README.html Wed May 21 10:59:14 1997 +0200 +++ b/README.html Wed May 21 11:27:32 1997 +0200 @@ -23,7 +23,7 @@
@@ -54,29 +54,21 @@
-Poly/ML is a commercial product and costs money, but it is stable and -efficient. It requires relatively little memory (starting at about -16MB) and disk space (about 40MB for all distributed object logics). -See here for more -information. +Poly/ML is a +commercial product and costs money, but it is stable and efficient. It +requires relatively little memory (starting at about 16MB) and disk +space (about 40MB for all distributed object logics).
-SML/NJ needs lots of store and disk space, but it is free. The last -official release is 0.93. - -Recent working versions may be 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. - -
- -To obtain Standard ML of New Jersey, see the here. An -unofficial pre-built binary distribution of SML/NJ 1.09.27 for Linux -is available here. +SML/NJ needs lots of store and disk space, but it is free. +The last official release is 0.93. Recent working versions may be +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.