src/HOL/TPTP/etc/settings
author wenzelm
Mon, 15 Feb 2016 14:55:44 +0100
changeset 62337 d3996d5873dd
parent 46710 cb9168bf3cf7
permissions -rw-r--r--
proper syntax;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
42079
71662f36b573 added editor mode line;
wenzelm
parents: 42064
diff changeset
     1
# -*- shell-script -*- :mode=shellscript:
71662f36b573 added editor mode line;
wenzelm
parents: 42064
diff changeset
     2
46324
e4bccf5ec61e added problem importer
blanchet
parents: 46318
diff changeset
     3
TPTP_HOME="$COMPONENT"
e4bccf5ec61e added problem importer
blanchet
parents: 46318
diff changeset
     4
46710
cb9168bf3cf7 more standard settings -- refer to COMPONENT at most once;
wenzelm
parents: 46324
diff changeset
     5
ISABELLE_TOOLS="$ISABELLE_TOOLS:$TPTP_HOME/lib/Tools"