1.1 --- a/etc/settings Sat Oct 20 18:54:28 2007 +0200
1.2 +++ b/etc/settings Sat Oct 20 18:54:28 2007 +0200
1.3 @@ -255,17 +255,6 @@
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/vampire/$ML_PLATFORM" \
1.14 - "/usr/local/Vampire" \
1.15 - "")
1.16 -
1.17 -SPASS_HOME=$(choosefrom \
1.18 - "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
1.19 - "/usr/local/SPASS" \
1.20 - "")
1.21 +E_HOME=$(choosefrom "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" "/usr/local/E" "")
1.22 +VAMPIRE_HOME=$(choosefrom "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" "/usr/local/Vampire" "")
1.23 +SPASS_HOME=$(choosefrom "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" "/usr/local/SPASS" "")