# HG changeset patch # User wenzelm # Date 885223571 -3600 # Node ID c5cfd00e4f28afa31686031c0b0ccf0db34d1054 # Parent 52edf5ac3afaf085bf96deb4c3f64d273f6a386f tuned; diff -r 52edf5ac3afa -r c5cfd00e4f28 README.html --- a/README.html Mon Jan 19 16:25:36 1998 +0100 +++ b/README.html Mon Jan 19 16:26:11 1998 +0100 @@ -60,7 +60,7 @@ 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). +space (about 60MB for all distributed object logics).