# HG changeset patch
# User kleing
# Date 1082203019 -7200
# Node ID f0e4b502a208ec54e788a77cc758ce5532b00510
# Parent  f0f50362cb67d34051cd783bbfc296054ebdb11e
do not mention poly 3.x any more (it is untested)

diff -r f0f50362cb67 -r f0e4b502a208 etc/settings
--- a/etc/settings	Sat Apr 17 13:56:08 2004 +0200
+++ b/etc/settings	Sat Apr 17 13:56:59 2004 +0200
@@ -32,7 +32,7 @@
 elif [ -e /usr/bin/poly -a -e /usr/lib/poly ]; then
   # maybe a shrink-wrapped polyml on x86-linux ...
 
-  # Poly/ML 3.x, 4.0, 4.1, 4.1.x
+  # Poly/ML 4.0, 4.1, 4.1.x
   # include version number, needed for choosing right options
   ML_SYSTEM=polyml-4.1.3    
   # processor/OS type