# HG changeset patch
# User nipkow
# Date 1244114811 -7200
# Node ID c02b3fd764f474a5843e50db96b0f670eea72f8a
# Parent  79e707bb0d6b7d0f5361a22fd8f295a1c6cf0dea# Parent  a1c4c1500abe3e88ab0093c5a480ee6b75fb9b2b
merged

diff -r a1c4c1500abe -r c02b3fd764f4 etc/settings
--- a/etc/settings	Thu Jun 04 13:26:32 2009 +0200
+++ b/etc/settings	Thu Jun 04 13:26:51 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)