--- a/etc/settings Tue Sep 20 16:17:34 2005 +0200
+++ b/etc/settings Tue Sep 20 16:19:51 2005 +0200
@@ -181,17 +181,17 @@
# Einhoven model checker
#EINDHOVEN_HOME=/usr/local/bin
-# zChaff (SAT Solver)
+# 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)
+# BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
#BERKMIN_HOME=/usr/local/bin
#BERKMIN_EXE=BerkMin561-linux
#BERKMIN_EXE=BerkMin561-solaris
-# Jerusat 1.3 (SAT Solver)
+# Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
#JERUSAT_HOME=/usr/local/bin
# For configuring HOL/Matrix/cplex