diff -r 0038c3bedd75 -r ceab8d437b96 README.html --- a/README.html Mon Feb 05 14:39:09 2001 +0100 +++ b/README.html Mon Feb 05 14:40:21 2001 +0100 @@ -42,7 +42,7 @@ The following ML system and platform combinations are known to work very well: @@ -61,9 +61,7 @@

MLWorks is a commercial ML programming environment developed by Harlequin and was unfortunately withdrawn after that company was taken over. Isabelle on MLWorks 2.0 -works reasonably well. It is about 20% faster than on SML/NJ while -using slightly less memory and disk space. A few features (e.g. ML -top-level pretty printing) are not supported, though. +works reasonably well.