| changeset 32496 | 4ab00a2642c3 |
| parent 32469 | 1ad7d4fc0954 |
| child 41308 | 9e576ec5c0dc |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/HOL/Mirabelle/etc/settings Wed Sep 02 16:23:53 2009 +0200 @@ -0,0 +1,8 @@ +MIRABELLE_HOME="$COMPONENT" + +MIRABELLE_LOGIC=HOL +MIRABELLE_THEORY=Main +MIRABELLE_OUTPUT_PATH=/tmp/mirabelle +MIRABELLE_TIMEOUT=30 + +ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"