--- a/etc/settings Wed Mar 04 10:43:39 2009 +0100
+++ b/etc/settings Wed Mar 04 10:45:52 2009 +0100
@@ -60,12 +60,6 @@
#ML_OPTIONS=""
#ML_PLATFORM=""
-# Alice 1.4 (experimental!)
-#ML_SYSTEM=alice
-#ML_HOME="/usr/local/alice/bin"
-#ML_OPTIONS=""
-#ML_PLATFORM=""
-
###
### JVM components (Scala or Java)
@@ -268,6 +262,8 @@
# 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