diff -r 3f238d4987c0 -r 14c6a2cc923c etc/settings
--- a/etc/settings	Sun Sep 16 21:18:43 2007 +0200
+++ b/etc/settings	Mon Sep 17 11:11:13 2007 +0200
@@ -255,17 +255,17 @@
 #GLPK_PATH=glpsol
 
 # External provers
+E_HOME=$(choosefrom \
+  "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
+  "/usr/local/E" \
+  "")
+
 VAMPIRE_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/" \
+  "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
   "/usr/local/Vampire" \
   "")
 
-E_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/" \
-  "/usr/local/E" \
-  "")
-  
 SPASS_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/" \
+  "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
   "/usr/local/SPASS" \
   "")