diff -r 6c20fae2416c -r 3925ab7b8a18 etc/settings
--- a/etc/settings	Wed Oct 19 21:53:34 2005 +0200
+++ b/etc/settings	Fri Oct 21 02:57:22 2005 +0200
@@ -87,6 +87,10 @@
 # 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"