tuned;
authorwenzelm
Mon Jan 19 16:26:11 1998 +0100 (1998-01-19)
changeset 4582c5cfd00e4f28
parent 4581 52edf5ac3afa
child 4583 6d9be46ea566
tuned;
README.html
     1.1 --- a/README.html	Mon Jan 19 16:25:36 1998 +0100
     1.2 +++ b/README.html	Mon Jan 19 16:26:11 1998 +0100
     1.3 @@ -60,7 +60,7 @@
     1.4  <a href="http://www.ahl.co.uk/poly-ml.html">Poly/ML</a> is a
     1.5  commercial product and costs money, but it is stable and efficient. It
     1.6  requires relatively little memory (starting at about 16MB) and disk
     1.7 -space (about 40MB for all distributed object logics).
     1.8 +space (about 60MB for all distributed object logics).
     1.9  
    1.10  <p>
    1.11