# HG changeset patch
# User wenzelm
# Date 1259512481 -3600
# Node ID 4c188a74e36299872e1abbefcef41250b7373453
# Parent  d4d430dfabc6f497fed38914fd625e1d99d0fd0c
deactivated default for E_HOME, SPASS_HOME -- now configured as components;
deactivated default for VAMPIRE_HOME -- superceded by remote_vampire;

diff -r d4d430dfabc6 -r 4c188a74e362 etc/settings
--- a/etc/settings	Sun Nov 29 17:23:39 2009 +0100
+++ b/etc/settings	Sun Nov 29 17:34:41 2009 +0100
@@ -208,21 +208,9 @@
 ## Set HOME only for tools you have installed!
 
 # External provers
-E_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
-  "$ISABELLE_HOME/../E/$ML_PLATFORM" \
-  "/usr/local/E/$ML_PLATFORM" \
-  "")
-VAMPIRE_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
-  "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
-  "/usr/local/vampire/$ML_PLATFORM" \
-  "")
-SPASS_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
-  "$ISABELLE_HOME/../spass/$ML_PLATFORM/bin" \
-  "/usr/local/spass/$ML_PLATFORM" \
-  "")
+#E_HOME=/usr/local/bin
+#SPASS_HOME=/usr/local/bin
+#VAMPIRE_HOME=/usr/local/bin
 
 # HOL4 proof objects (cf. Isabelle/src/HOL/Import)
 #HOL4_PROOFS="$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"