moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
authorwenzelm
Wed Oct 19 14:51:12 2005 +0200 (2005-10-19)
changeset 179097540483e9228
parent 17908 ac97527724ba
child 17910 2b435795c9e9
moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
etc/settings
     1.1 --- a/etc/settings	Wed Oct 19 13:59:33 2005 +0200
     1.2 +++ b/etc/settings	Wed Oct 19 14:51:12 2005 +0200
     1.3 @@ -87,11 +87,6 @@
     1.4  # The place for user configuration, heap files, etc.
     1.5  ISABELLE_HOME_USER=~/isabelle
     1.6  
     1.7 -
     1.8 -# The places for external proversetc.
     1.9 -VAMPIRE_HOME=~/Vampire
    1.10 -E_HOME=~/E
    1.11 -
    1.12  # Where to look for isabelle tools (multiple dirs separated by ':').
    1.13  ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    1.14  
    1.15 @@ -217,3 +212,7 @@
    1.16  # Second option: use the open source glpk solver
    1.17  #LP_SOLVER=GLPK
    1.18  #GLPK_PATH=glpsol
    1.19 +
    1.20 +# External provers
    1.21 +#VAMPIRE_HOME=/usr/local/Vampire
    1.22 +#E_HOME=/usr/local/E