--- a/etc/settings Sat Oct 20 18:54:28 2007 +0200
+++ b/etc/settings Sat Oct 20 18:54:28 2007 +0200
@@ -255,17 +255,6 @@
#GLPK_PATH=glpsol
# External provers
-E_HOME=$(choosefrom \
- "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
- "/usr/local/E" \
- "")
-
-VAMPIRE_HOME=$(choosefrom \
- "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
- "/usr/local/Vampire" \
- "")
-
-SPASS_HOME=$(choosefrom \
- "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
- "/usr/local/SPASS" \
- "")
+E_HOME=$(choosefrom "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" "/usr/local/E" "")
+VAMPIRE_HOME=$(choosefrom "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" "/usr/local/Vampire" "")
+SPASS_HOME=$(choosefrom "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" "/usr/local/SPASS" "")