etc/settings

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