etc/settings

--- a/etc/settings	Fri Oct 21 14:49:49 2005 +0200
+++ b/etc/settings	Fri Oct 21 16:22:59 2005 +0200
@@ -87,10 +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"