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