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" \
+  "")