# HG changeset patch
# User wenzelm
# Date 1244110147 -7200
# Node ID 79e707bb0d6b7d0f5361a22fd8f295a1c6cf0dea
# Parent  b8bdef62bfa6e65d7256332f7e3207fad93688dd
uniform default settings for E, Vampire, SPASS;

diff -r b8bdef62bfa6 -r 79e707bb0d6b etc/settings
--- a/etc/settings	Wed Jun 03 12:24:09 2009 -0700
+++ b/etc/settings	Thu Jun 04 12:09:07 2009 +0200
@@ -225,17 +225,17 @@
 E_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
   "$ISABELLE_HOME/../E/$ML_PLATFORM" \
-  "/usr/local/E" \
+  "/usr/local/E/$ML_PLATFORM" \
   "")
 VAMPIRE_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
   "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
-  "/usr/local/Vampire" \
+  "/usr/local/vampire/$ML_PLATFORM" \
   "")
 SPASS_HOME=$(choosefrom \
   "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
   "$ISABELLE_HOME/../spass/$ML_PLATFORM/bin" \
-  "/usr/local/SPASS" \
+  "/usr/local/spass/$ML_PLATFORM" \
   "")
 
 # HOL4 proof objects (cf. Isabelle/src/HOL/Import)