isabelle: src/HOL/TPTP/etc/settings@83774d669b51 (annotated)

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"