isabelle: src/HOL/Mutabelle/etc/settings@6d736d983d5c (annotated)

41308 9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 41077 diff changeset	1	# -- shell-script -- :mode=shellscript:
9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 41077 diff changeset	2
40975 498f272b4bcb adding mutabelle as a component and an isabelle tool to be used in regression testing bulwahn parents: diff changeset	3	MUTABELLE_HOME="$COMPONENT"
498f272b4bcb adding mutabelle as a component and an isabelle tool to be used in regression testing bulwahn parents: diff changeset	4
41077 fd6f41d349ef improving the mutabelle script bulwahn parents: 40975 diff changeset	5	DEFAULT_MUTABELLE_LOGIC=HOL
fd6f41d349ef improving the mutabelle script bulwahn parents: 40975 diff changeset	6	DEFAULT_MUTABELLE_IMPORT_THEORY=Complex_Main
fd6f41d349ef improving the mutabelle script bulwahn parents: 40975 diff changeset	7	DEFAULT_MUTABELLE_OUTPUT_PATH=/tmp/mutabelle
40975 498f272b4bcb adding mutabelle as a component and an isabelle tool to be used in regression testing bulwahn parents: diff changeset	8
41308 9e576ec5c0dc tuned/clarified some component settings; wenzelm parents: 41077 diff changeset	9	ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools"