# 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