src/HOL/TPTP/etc/settings
changeset 46324 e4bccf5ec61e
parent 46318 8038d050ff15
child 46710 cb9168bf3cf7
equal deleted inserted replaced
46323:588c81d08a7c 46324:e4bccf5ec61e
     1 # -*- shell-script -*- :mode=shellscript:
     1 # -*- shell-script -*- :mode=shellscript:
     2 
     2 
       
     3 TPTP_HOME="$COMPONENT"
       
     4 
     3 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
     5 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"