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"