1.1 --- a/etc/settings	Wed Feb 18 10:26:48 2009 +0100
     1.2 +++ b/etc/settings	Tue Feb 24 16:12:27 2009 +0100
     1.3 @@ -268,8 +268,6 @@
     1.4  
     1.5  # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
     1.6  #ZCHAFF_HOME=/usr/local/bin
     1.7 -#ZCHAFF_VERSION=2004.5.13
     1.8 -#ZCHAFF_VERSION=2004.11.15
     1.9  
    1.10  # BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
    1.11  #BERKMIN_HOME=/usr/local/bin