--- a/etc/settings Sun Mar 13 17:28:14 2011 +0100
+++ b/etc/settings Sun Mar 13 17:35:35 2011 +0100
@@ -200,17 +200,12 @@
###
-### External reasoning tools
+### Old-style settings for some external tools
###
## Set HOME only for tools you have installed!
-# External provers
-#E_HOME=/usr/local/bin
-#SPASS_HOME=/usr/local/bin
-#VAMPIRE_HOME=/usr/local/bin
-
-# HOL4 proof objects (cf. Isabelle/src/HOL/Import)
+# HOL4 proof objects (cf. src/HOL/Import)
#HOL4_PROOFS="$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
# SVC (Stanford Validity Checker)
@@ -218,24 +213,18 @@
#SVC_MACHINE=i386-redhat-linux
#SVC_MACHINE=sparc-sun-solaris
-# Mucke (mu-calculus model checker)
-#MUCKE_HOME=/usr/local/bin
-
-# Einhoven model checker
-#EINDHOVEN_HOME=/usr/local/bin
-
-# MiniSat 1.14 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
+# MiniSat 1.14 (SAT Solver, cf. src/HOL/Tools/sat_solver.ML)
#MINISAT_HOME=/usr/local/bin
-# zChaff (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
+# zChaff (SAT Solver, cf. src/HOL/Tools/sat_solver.ML)
#ZCHAFF_HOME=/usr/local/bin
-# BerkMin561 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
+# BerkMin561 (SAT Solver, cf. src/HOL/Tools/sat_solver.ML)
#BERKMIN_HOME=/usr/local/bin
#BERKMIN_EXE=BerkMin561-linux
#BERKMIN_EXE=BerkMin561-solaris
-# Jerusat 1.3 (SAT Solver, cf. Isabelle/src/HOL/Tools/sat_solver.ML)
+# Jerusat 1.3 (SAT Solver, cf. src/HOL/Tools/sat_solver.ML)
#JERUSAT_HOME=/usr/local/bin
# For configuring HOL/Matrix/cplex