1.1 --- a/etc/settings	Sun Nov 29 17:23:39 2009 +0100
     1.2 +++ b/etc/settings	Sun Nov 29 17:34:41 2009 +0100
     1.3 @@ -208,21 +208,9 @@
     1.4  ## Set HOME only for tools you have installed!
     1.5  
     1.6  # External provers
     1.7 -E_HOME=$(choosefrom \
     1.8 -  "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
     1.9 -  "$ISABELLE_HOME/../E/$ML_PLATFORM" \
    1.10 -  "/usr/local/E/$ML_PLATFORM" \
    1.11 -  "")
    1.12 -VAMPIRE_HOME=$(choosefrom \
    1.13 -  "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
    1.14 -  "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
    1.15 -  "/usr/local/vampire/$ML_PLATFORM" \
    1.16 -  "")
    1.17 -SPASS_HOME=$(choosefrom \
    1.18 -  "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
    1.19 -  "$ISABELLE_HOME/../spass/$ML_PLATFORM/bin" \
    1.20 -  "/usr/local/spass/$ML_PLATFORM" \
    1.21 -  "")
    1.22 +#E_HOME=/usr/local/bin
    1.23 +#SPASS_HOME=/usr/local/bin
    1.24 +#VAMPIRE_HOME=/usr/local/bin
    1.25  
    1.26  # HOL4 proof objects (cf. Isabelle/src/HOL/Import)
    1.27  #HOL4_PROOFS="$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"