1.1 --- a/etc/settings	Mon Dec 15 15:18:46 1997 +0100
     1.2 +++ b/etc/settings	Mon Dec 15 15:27:03 1997 +0100
     1.3 @@ -17,10 +17,10 @@
     1.4  #ML_OPTIONS="-h 30000"
     1.5  
     1.6  # Poly/ML 3.1
     1.7 -#ML_SYSTEM=polyml-3.1
     1.8 -#ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
     1.9 -#ML_OPTIONS="-h 30000"
    1.10 -#LM_LICENSE_FILE=$ML_HOME/license.dat
    1.11 +ML_SYSTEM=polyml-3.1
    1.12 +ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
    1.13 +ML_OPTIONS="-h 30000"
    1.14 +LM_LICENSE_FILE=$ML_HOME/license.dat
    1.15  
    1.16  # Standard ML of New Jersey 0.93
    1.17  #ML_SYSTEM=smlnj-0.93
    1.18 @@ -33,9 +33,9 @@
    1.19  #ML_OPTIONS="@SMLdebug=/dev/null"
    1.20  
    1.21  # Standard ML of New Jersey 110 or later
    1.22 -ML_SYSTEM=smlnj-110
    1.23 -ML_HOME=/usr/local/smlnj-110/bin
    1.24 -ML_OPTIONS="@SMLdebug=/dev/null"
    1.25 +#ML_SYSTEM=smlnj-110
    1.26 +#ML_HOME=/usr/local/smlnj-110/bin
    1.27 +#ML_OPTIONS="@SMLdebug=/dev/null"
    1.28  
    1.29  
    1.30  ###
    1.31 @@ -63,7 +63,8 @@
    1.32  
    1.33  ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    1.34  
    1.35 -#A hack! Isabelle build tells us to store heaps within the distribution.
    1.36 +#A hack! Isabelle build tells us to store heaps etc. within the
    1.37 +#distribution.
    1.38  if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    1.39    ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    1.40    ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info