--- a/src/HOL/TPTP/etc/settings Mon Jan 23 17:40:32 2012 +0100
+++ b/src/HOL/TPTP/etc/settings Mon Jan 23 17:40:32 2012 +0100
@@ -1,3 +1,5 @@
# -*- shell-script -*- :mode=shellscript:
+TPTP_HOME="$COMPONENT"
+
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"