etc/settings
changeset 30189 3633f560f4c3
parent 29599 c369feeb6bbc
child 30242 aea5d7fa7ef5
equal deleted inserted replaced
30188:82144a95f9ec 30189:3633f560f4c3
    58 #ML_SYSTEM=mosml
    58 #ML_SYSTEM=mosml
    59 #ML_HOME="/usr/local/mosml/bin"
    59 #ML_HOME="/usr/local/mosml/bin"
    60 #ML_OPTIONS=""
    60 #ML_OPTIONS=""
    61 #ML_PLATFORM=""
    61 #ML_PLATFORM=""
    62 
    62 
    63 # Alice 1.4 (experimental!)
       
    64 #ML_SYSTEM=alice
       
    65 #ML_HOME="/usr/local/alice/bin"
       
    66 #ML_OPTIONS=""
       
    67 #ML_PLATFORM=""
       
    68 
       
    69 
    63 
    70 ###
    64 ###
    71 ### JVM components (Scala or Java)
    65 ### JVM components (Scala or Java)
    72 ###
    66 ###
    73 
    67