etc/settings
changeset 14613 f0e4b502a208
parent 14461 fab539f843d9
child 14871 1dad51c852ad
     1.1 --- a/etc/settings	Sat Apr 17 13:56:08 2004 +0200
     1.2 +++ b/etc/settings	Sat Apr 17 13:56:59 2004 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4  elif [ -e /usr/bin/poly -a -e /usr/lib/poly ]; then
     1.5    # maybe a shrink-wrapped polyml on x86-linux ...
     1.6  
     1.7 -  # Poly/ML 3.x, 4.0, 4.1, 4.1.x
     1.8 +  # Poly/ML 4.0, 4.1, 4.1.x
     1.9    # include version number, needed for choosing right options
    1.10    ML_SYSTEM=polyml-4.1.3    
    1.11    # processor/OS type