src/HOL/Mirabelle/etc/settings
author boehmes
Wed Sep 02 16:23:53 2009 +0200 (2009-09-02)
changeset 32496 4ab00a2642c3
parent 32469 src/HOL/Tools/Mirabelle/etc/settings@1ad7d4fc0954
child 41308 9e576ec5c0dc
permissions -rw-r--r--
moved Mirabelle from HOL/Tools to HOL,
added session HOL-Mirabelle
boehmes@32381
     1
MIRABELLE_HOME="$COMPONENT"
boehmes@32381
     2
boehmes@32382
     3
MIRABELLE_LOGIC=HOL
boehmes@32385
     4
MIRABELLE_THEORY=Main
boehmes@32382
     5
MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
boehmes@32382
     6
MIRABELLE_TIMEOUT=30
boehmes@32382
     7
wenzelm@32393
     8
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"