1.1 --- a/etc/settings	Thu Sep 06 17:03:53 2007 +0200
     1.2 +++ b/etc/settings	Thu Sep 06 17:06:04 2007 +0200
     1.3 @@ -255,5 +255,17 @@
     1.4  #GLPK_PATH=glpsol
     1.5  
     1.6  # External provers
     1.7 -#VAMPIRE_HOME=/usr/local/Vampire
     1.8 -#E_HOME=/usr/local/E
     1.9 +VAMPIRE_HOME=$(choosefrom \
    1.10 +  "$ISABELLE_HOME/contrib/" \
    1.11 +  "/usr/local/Vampire" \
    1.12 +  "")
    1.13 +
    1.14 +E_HOME=$(choosefrom \
    1.15 +  "$ISABELLE_HOME/contrib/" \
    1.16 +  "/usr/local/E" \
    1.17 +  "")
    1.18 +  
    1.19 +SPASS_HOME=$(choosefrom \
    1.20 +  "$ISABELLE_HOME/contrib/" \
    1.21 +  "/usr/local/SPASS" \
    1.22 +  "")