# 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"