1.1 --- a/etc/settings	Mon Jan 21 15:28:34 2002 +0100
     1.2 +++ b/etc/settings	Mon Jan 21 15:29:06 2002 +0100
     1.3 @@ -14,10 +14,10 @@
     1.4  # binaries.  Do not invent new ML system names unless you know what
     1.5  # you are doing.  Only one of the sections below should be activated.
     1.6  
     1.7 -# Poly/ML 3.x, 4.0, 4.1, and 4.1.1
     1.8 +# Poly/ML 3.x, 4.0, 4.1, 4.1.1, 4.1.2
     1.9  if [ -e /usr/bin/poly -a -e /usr/lib/poly ]; then
    1.10 -  #maybe a shrink-wrapped polyml-4.1.1 on x86-linux ...
    1.11 -  ML_SYSTEM=polyml-4.1.1
    1.12 +  #maybe a shrink-wrapped polyml-4.1.2 on x86-linux ...
    1.13 +  ML_SYSTEM=polyml-4.1.2
    1.14    ML_PLATFORM=x86-linux
    1.15    ML_HOME=/usr/bin
    1.16    ML_DBASE=/usr/lib/poly/ML_dbase