src/HOL/TPTP/etc/settings
author wenzelm
Mon, 27 Feb 2012 16:53:13 +0100
changeset 46710 cb9168bf3cf7
parent 46324 e4bccf5ec61e
permissions -rw-r--r--
more standard settings -- refer to COMPONENT at most once;
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"