diff -r 64c20ee76bc1 -r 10111a1d6a6b etc/settings
--- a/etc/settings	Thu Sep 06 17:03:53 2007 +0200
+++ b/etc/settings	Thu Sep 06 17:06:04 2007 +0200
@@ -255,5 +255,17 @@
 #GLPK_PATH=glpsol
 
 # External provers
-#VAMPIRE_HOME=/usr/local/Vampire
-#E_HOME=/usr/local/E
+VAMPIRE_HOME=$(choosefrom \
+  "$ISABELLE_HOME/contrib/" \
+  "/usr/local/Vampire" \
+  "")
+
+E_HOME=$(choosefrom \
+  "$ISABELLE_HOME/contrib/" \
+  "/usr/local/E" \
+  "")
+  
+SPASS_HOME=$(choosefrom \
+  "$ISABELLE_HOME/contrib/" \
+  "/usr/local/SPASS" \
+  "")