isabelle: src/HOL/Mirabelle/etc/settings@9e576ec5c0dc (annotated)

41308 9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 32496 diff changeset	1	# -- shell-script -- :mode=shellscript:
9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 32496 diff changeset	2
32381 11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	3	MIRABELLE_HOME="$COMPONENT"
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	4
32382 98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	5	MIRABELLE_LOGIC=HOL
32385 594890623c46 split actions from Mirabelle core (Mirabelle may thus be applied to basic theories in HOL) boehmes parents: 32383 diff changeset	6	MIRABELLE_THEORY=Main
32382 98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	7	MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	8	MIRABELLE_TIMEOUT=30
98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	9
41308 9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 32496 diff changeset	10	ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"