# HG changeset patch
# User wenzelm
# Date 1129726272 -7200
# Node ID 7540483e92289695f70d0b49c2f4ad278e37f87d
# Parent  ac97527724ba91fa37f8140444fbba12f3b9c156
moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!

diff -r ac97527724ba -r 7540483e9228 etc/settings
--- a/etc/settings	Wed Oct 19 13:59:33 2005 +0200
+++ b/etc/settings	Wed Oct 19 14:51:12 2005 +0200
@@ -87,11 +87,6 @@
 # The place for user configuration, heap files, etc.
 ISABELLE_HOME_USER=~/isabelle
 
-
-# The places for external proversetc.
-VAMPIRE_HOME=~/Vampire
-E_HOME=~/E
-
 # Where to look for isabelle tools (multiple dirs separated by ':').
 ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
 
@@ -217,3 +212,7 @@
 # Second option: use the open source glpk solver
 #LP_SOLVER=GLPK
 #GLPK_PATH=glpsol
+
+# External provers
+#VAMPIRE_HOME=/usr/local/Vampire
+#E_HOME=/usr/local/E