reverted (accidental?) change of 1.148;
authorwenzelm
Fri Oct 21 16:22:59 2005 +0200 (2005-10-21 ago)
changeset 17953b74eb797b6c2
parent 17952 00eccd84608f
child 17954 42fc2ac69c8c
reverted (accidental?) change of 1.148;
etc/settings
     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