| changeset 41077 | fd6f41d349ef |
| parent 40975 | 498f272b4bcb |
| child 41308 | 9e576ec5c0dc |
--- a/src/HOL/Mutabelle/etc/settings Wed Dec 08 13:34:51 2010 +0100 +++ b/src/HOL/Mutabelle/etc/settings Wed Dec 08 14:25:07 2010 +0100 @@ -1,7 +1,7 @@ MUTABELLE_HOME="$COMPONENT" -MUTABELLE_LOGIC=HOL -MUTABELLE_IMPORT_THEORY=Complex_Main -MUTABELLE_OUTPUT_PATH=/tmp/mutabelle +DEFAULT_MUTABELLE_LOGIC=HOL +DEFAULT_MUTABELLE_IMPORT_THEORY=Complex_Main +DEFAULT_MUTABELLE_OUTPUT_PATH=/tmp/mutabelle ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"