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
     1 MIRABELLE_HOME="$COMPONENT"
     2 
     3 MIRABELLE_LOGIC=HOL
     4 MIRABELLE_THEORY=Main
     5 MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
     6 MIRABELLE_TIMEOUT=30
     7 
     8 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"