1.1 --- a/etc/settings	Wed Jun 03 12:24:09 2009 -0700
     1.2 +++ b/etc/settings	Thu Jun 04 12:09:07 2009 +0200
     1.3 @@ -225,17 +225,17 @@
     1.4  E_HOME=$(choosefrom \
     1.5    "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
     1.6    "$ISABELLE_HOME/../E/$ML_PLATFORM" \
     1.7 -  "/usr/local/E" \
     1.8 +  "/usr/local/E/$ML_PLATFORM" \
     1.9    "")
    1.10  VAMPIRE_HOME=$(choosefrom \
    1.11    "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
    1.12    "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
    1.13 -  "/usr/local/Vampire" \
    1.14 +  "/usr/local/vampire/$ML_PLATFORM" \
    1.15    "")
    1.16  SPASS_HOME=$(choosefrom \
    1.17    "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
    1.18    "$ISABELLE_HOME/../spass/$ML_PLATFORM/bin" \
    1.19 -  "/usr/local/SPASS" \
    1.20 +  "/usr/local/spass/$ML_PLATFORM" \
    1.21    "")
    1.22  
    1.23  # HOL4 proof objects (cf. Isabelle/src/HOL/Import)