1.1 --- a/etc/settings	Sun Sep 16 21:18:43 2007 +0200
     1.2 +++ b/etc/settings	Mon Sep 17 11:11:13 2007 +0200
     1.3 @@ -255,17 +255,17 @@
     1.4  #GLPK_PATH=glpsol
     1.5  
     1.6  # External provers
     1.7 +E_HOME=$(choosefrom \
     1.8 +  "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
     1.9 +  "/usr/local/E" \
    1.10 +  "")
    1.11 +
    1.12  VAMPIRE_HOME=$(choosefrom \
    1.13 -  "$ISABELLE_HOME/contrib/" \
    1.14 +  "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
    1.15    "/usr/local/Vampire" \
    1.16    "")
    1.17  
    1.18 -E_HOME=$(choosefrom \
    1.19 -  "$ISABELLE_HOME/contrib/" \
    1.20 -  "/usr/local/E" \
    1.21 -  "")
    1.22 -  
    1.23  SPASS_HOME=$(choosefrom \
    1.24 -  "$ISABELLE_HOME/contrib/" \
    1.25 +  "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
    1.26    "/usr/local/SPASS" \
    1.27    "")