src/HOL/TPTP/etc/settings
author haftmann
Thu, 24 Jul 2025 17:46:29 +0200
changeset 82902 99a720d3ed8f
parent 46710 cb9168bf3cf7
permissions -rw-r--r--
clarified code setup
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"