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