# 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 @@

System requirements

Isabelle requires a real Unix box with sufficient resources. Fun -starts at about 32MB of RAM (somewhat depending on your ML system), +starts at about 32MB of memory (somewhat depending on your ML system), several tens of MB disk space and with a relatively fast CPU.

@@ -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.

Installation