author | wenzelm |
Fri, 21 Oct 2005 16:22:59 +0200 | |
changeset 17953 | b74eb797b6c2 |
parent 17952 | 00eccd84608f |
child 17954 | 42fc2ac69c8c |
etc/settings | file | annotate | diff | comparison | revisions |
--- 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"