# HG changeset patch # User wenzelm # Date 916312980 -3600 # Node ID 59507030d953936133ef9cd80f2f5f086c0e521f # Parent 3aa7926f039a9f65cbf410c6b3a72a9e233b3034 tuned; diff -r 3aa7926f039a -r 59507030d953 README.html --- a/README.html Wed Jan 13 16:38:52 1999 +0100 +++ b/README.html Thu Jan 14 12:23:00 1999 +0100 @@ -64,7 +64,7 @@ MLWorks is a commercial ML programming environment. Isabelle on MLWorks 2.0 works well. It is about 20% faster than on SML/NJ while using slightly less -memory and disk space. A few minor features (e.g. top-level pretty +memory and disk space. A few minor features (e.g. ML top-level pretty printing) are not yet supported, though.