diff -r 0f1c48de39f5 -r 8d25bb07d8ed etc/settings
--- 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