--- 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"