changeset 32382 | 98674ac811c4 |
parent 32381 | 11542bebe4d4 |
--- a/src/HOL/ex/Mirabelle/etc/settings Mon Aug 17 10:59:12 2009 +0200 +++ b/src/HOL/ex/Mirabelle/etc/settings Fri Aug 21 09:44:55 2009 +0200 @@ -1,3 +1,8 @@ MIRABELLE_HOME="$COMPONENT" -ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/mirabelle" +MIRABELLE_LOGIC=HOL +MIRABELLE_OUTPUT_PATH=/tmp/mirabelle +MIRABELLE_TIMEOUT=30 +MIRABELLE_VERBOSE=false + +ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"