moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
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