# HG changeset patch
# User wenzelm
# Date 1300034135 -3600
# Node ID 117eb7aeddf0a78a78180ea629d85dda2a120f84
# Parent  134131d519c00912696d428e85f7a29adda2df98
some cleanup of old-style settings;

diff -r 134131d519c0 -r 117eb7aeddf0 etc/settings
--- 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