1.1 --- a/etc/settings	Wed Mar 04 10:43:39 2009 +0100
     1.2 +++ b/etc/settings	Wed Mar 04 10:45:52 2009 +0100
     1.3 @@ -60,12 +60,6 @@
     1.4  #ML_OPTIONS=""
     1.5  #ML_PLATFORM=""
     1.6  
     1.7 -# Alice 1.4 (experimental!)
     1.8 -#ML_SYSTEM=alice
     1.9 -#ML_HOME="/usr/local/alice/bin"
    1.10 -#ML_OPTIONS=""
    1.11 -#ML_PLATFORM=""
    1.12 -
    1.13  
    1.14  ###
    1.15  ### JVM components (Scala or Java)
    1.16 @@ -268,6 +262,8 @@
    1.17  
    1.18  # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
    1.19  #ZCHAFF_HOME=/usr/local/bin
    1.20 +#ZCHAFF_VERSION=2004.5.13
    1.21 +#ZCHAFF_VERSION=2004.11.15
    1.22  
    1.23  # BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
    1.24  #BERKMIN_HOME=/usr/local/bin