1.1 --- a/etc/settings	Fri Oct 21 14:49:49 2005 +0200
     1.2 +++ b/etc/settings	Fri Oct 21 16:22:59 2005 +0200
     1.3 @@ -87,10 +87,6 @@
     1.4  # The place for user configuration, heap files, etc.
     1.5  ISABELLE_HOME_USER=~/isabelle
     1.6  
     1.7 -# The places for external proversetc.
     1.8 -#VAMPIRE_HOME=~/Vampire
     1.9 -#E_HOME=~/E
    1.10 -
    1.11  # Where to look for isabelle tools (multiple dirs separated by ':').
    1.12  ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools"
    1.13