updated;
authorwenzelm
Wed Sep 26 20:33:33 2001 +0200 (2001-09-26)
changeset 1156906d6f1ea6021
parent 11568 1ce3771d2b49
child 11570 3e3b63fe1e48
updated;
etc/settings
     1.1 --- a/etc/settings	Tue Sep 25 16:17:46 2001 +0200
     1.2 +++ b/etc/settings	Wed Sep 26 20:33:33 2001 +0200
     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 and 4.0
     1.8 +# Poly/ML 3.x and 4.0 or later
     1.9  if [ -e /usr/bin/poly -a -e /usr/lib/poly ]; then
    1.10 -  #maybe a shrink-wrapped polyml-4.0 on x86-linux ...
    1.11 -  ML_SYSTEM=polyml-4.0
    1.12 +  #maybe a shrink-wrapped polyml-4.1.1 on x86-linux ...
    1.13 +  ML_SYSTEM=polyml-4.1.1
    1.14    ML_PLATFORM=x86-linux
    1.15    ML_HOME=/usr/bin
    1.16    ML_DBASE=/usr/lib/poly/ML_dbase
    1.17 @@ -65,8 +65,10 @@
    1.18  ### Compilation options
    1.19  ###
    1.20  
    1.21 -ISABELLE_USEDIR_OPTIONS="-i false"
    1.22 -#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    1.23 +ISABELLE_USEDIR_OPTIONS=""
    1.24 +
    1.25 +# Default for precompiled distribution ...
    1.26 +#ISABELLE_USEDIR_OPTIONS="-i true -d pdf -p 2"
    1.27  
    1.28  
    1.29  ###
    1.30 @@ -117,7 +119,7 @@
    1.31  [ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
    1.32    { echo >&2 "### Isabelle site settings already present!  Maybe copied etc/settings in full?"; }
    1.33  
    1.34 -#Users may want to change this.
    1.35 +# Users may want to change this.
    1.36  ISABELLE_LOGIC=HOL
    1.37  
    1.38