moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!

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