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

32381 11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	1	MIRABELLE_HOME="$COMPONENT"
11542bebe4d4 made Mirabelle a component boehmes parents: diff changeset	2
32382 98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	3	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	4	MIRABELLE_THEORY=Main
32382 98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	5	MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	6	MIRABELLE_TIMEOUT=30
98674ac811c4 Mirabelle tool script conforming to standard Isabelle tool interface, boehmes parents: 32381 diff changeset	7
32393 368159e48444 generalized settings; wenzelm parents: 32385 diff changeset	8	ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"