| changeset 41949 | f9a2e10c49cb |
| parent 41308 | 9e576ec5c0dc |
| child 42119 | 21714b0de625 |
--- a/src/HOL/Mutabelle/etc/settings Sun Mar 13 16:38:54 2011 +0100 +++ b/src/HOL/Mutabelle/etc/settings Sun Mar 13 16:52:59 2011 +0100 @@ -2,8 +2,8 @@ MUTABELLE_HOME="$COMPONENT" -DEFAULT_MUTABELLE_LOGIC=HOL -DEFAULT_MUTABELLE_IMPORT_THEORY=Complex_Main -DEFAULT_MUTABELLE_OUTPUT_PATH=/tmp/mutabelle +MUTABELLE_LOGIC=HOL +MUTABELLE_IMPORT_THEORY=Complex_Main +MUTABELLE_OUTPUT_PATH=/tmp/mutabelle ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools"