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 "")