etc/settings
changeset 17825 ede984daba01
parent 17793 017e57b1f4d0
child 17905 1574533861b1
     1.1 --- a/etc/settings	Tue Oct 11 13:28:08 2005 +0200
     1.2 +++ b/etc/settings	Tue Oct 11 13:30:17 2005 +0200
     1.3 @@ -40,15 +40,15 @@
     1.4  # Moscow ML 2.00 or later (experimental!)
     1.5  #ML_SYSTEM=mosml
     1.6  #ML_HOME="$ISABELLE_HOME/contrib/mosml/bin"
     1.7 +#ML_OPTIONS=""
     1.8  #ML_PLATFORM=""
     1.9 -#ML_OPTIONS=""
    1.10  
    1.11  # Poplog/PML version 15.6/2.1 (experimental!)
    1.12  #ML_SYSTEM=poplogml
    1.13 -#ML_HOME="$ISABELLE_HOME/contrib/poplog/current-poplog/bin"
    1.14 -#ML_PLATFORM=""
    1.15 +#ML_HOME="/usr/local/poplog/current-poplog/bin"
    1.16  #ML_OPTIONS="-noinit"
    1.17  #ML_SUFFIX=".psv"
    1.18 +#ML_PLATFORM=""
    1.19  
    1.20  
    1.21  ###