diff -r 7aa178165ee4 -r ec2498132ac4 etc/settings
--- 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" "")