etc/settings
changeset 2435 750a73406623
parent 2426 dc9dcdb43b4f
child 2466 5220fb014f8a
     1.1 --- a/etc/settings	Wed Dec 18 12:45:54 1996 +0100
     1.2 +++ b/etc/settings	Wed Dec 18 12:46:34 1996 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4  ## specifies the location of the actual compiler binaries.
     1.5  
     1.6  # Poly/ML 2.x
     1.7 -#ML_SYSTEM=polyml-2.x
     1.8 +#ML_SYSTEM=polyml-2.07
     1.9  #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
    1.10  #ML_OPTIONS="-h 30000"
    1.11  
    1.12 @@ -39,6 +39,14 @@
    1.13  
    1.14  
    1.15  ###
    1.16 +### Compilation options
    1.17 +###
    1.18 +
    1.19 +# Should be 'true' or 'false':
    1.20 +ISABELLE_HTML=true
    1.21 +
    1.22 +
    1.23 +###
    1.24  ### Misc path settings
    1.25  ###
    1.26