etc/settings

--- a/etc/settings	Tue Oct 18 17:59:37 2005 +0200
+++ b/etc/settings	Wed Oct 19 06:33:24 2005 +0200
@@ -87,6 +87,11 @@
 # 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"