# HG changeset patch # User wenzelm # Date 1129904579 -7200 # Node ID b74eb797b6c2ed72d2b799fdb7ceaca4ff8cb64b # Parent 00eccd84608fecae216ce41326391e89329b1ff6 reverted (accidental?) change of 1.148; diff -r 00eccd84608f -r b74eb797b6c2 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"