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