# HG changeset patch
# User kleing
# Date 1082202968 -7200
# Node ID f0f50362cb67d34051cd783bbfc296054ebdb11e
# Parent  e9d2f771b3c749c488c1e21fe407e6c3d333ab63
do not mention MLWorks and poly 3.x any more, they are untested

diff -r e9d2f771b3c7 -r f0f50362cb67 README.html
--- a/README.html	Sat Apr 17 00:50:45 2004 +0200
+++ b/README.html	Sat Apr 17 13:56:08 2004 +0200
@@ -40,7 +40,7 @@
 The following ML system and platform combinations are known to work
 very well:
 <ul>
-<li>Poly/ML 4.x and 3.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
+<li>Poly/ML 4.x on Linux/x86, Solaris/Sparc, and PowerPC platforms.
 <li>SML/NJ 110.x on any Unix platform (Linux, Suns, SGI etc.).
 </ul>
 
@@ -53,11 +53,6 @@
 store and disk space, but on the other hand supports more platforms.
 The current official release is 110.
 
-<p> MLWorks used to be a commercial ML programming environment
-developed by <a href="http://www.harlequin.com/">Harlequin</a> and was
-unfortunately withdrawn after that company was taken over.  Isabelle
-on MLWorks 2.0 works reasonably well.
-
 
 <h2>Installation</h2>