src/HOL/Mirabelle/etc/settings
author wenzelm
Mon Dec 20 15:19:15 2010 +0100 (2010-12-20)
changeset 41308 9e576ec5c0dc
parent 32496 4ab00a2642c3
child 42069 6a147393c62a
permissions -rw-r--r--
tuned/clarified some component settings;
explicit comments about common mistakes;
     1 # -*- shell-script -*- :mode=shellscript:
     2 
     3 MIRABELLE_HOME="$COMPONENT"
     4 
     5 MIRABELLE_LOGIC=HOL
     6 MIRABELLE_THEORY=Main
     7 MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
     8 MIRABELLE_TIMEOUT=30
     9 
    10 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"