src/HOL/ex/Mirabelle/etc/settings
author boehmes
Fri, 21 Aug 2009 09:44:55 +0200
changeset 32382 98674ac811c4
parent 32381 11542bebe4d4
permissions -rw-r--r--
Mirabelle tool script conforming to standard Isabelle tool interface, tidied Perl script, moved ML sources to Tools subdirectory

MIRABELLE_HOME="$COMPONENT"

MIRABELLE_LOGIC=HOL
MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
MIRABELLE_TIMEOUT=30
MIRABELLE_VERBOSE=false

ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"