etc/settings

--- a/etc/settings	Thu Jul 06 23:36:40 2006 +0200
+++ b/etc/settings	Fri Jul 07 02:12:52 2006 +0200
@@ -197,6 +197,9 @@
 # Einhoven model checker
 #EINDHOVEN_HOME=/usr/local/bin
 
+# MiniSat 1.14 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
+#MINISAT_HOME=/usr/local/bin
+
 # zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
 #ZCHAFF_HOME=/usr/local/bin
 #ZCHAFF_VERSION=2004.5.13