Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/HOL/Tools/Mirabelle/etc/settings
author boehmes
Fri, 21 Aug 2009 13:21:19 +0200
changeset 32385 594890623c46
parent 32383 521065a499c6
child 32393 368159e48444
permissions -rw-r--r--
split actions from Mirabelle core (Mirabelle may thus be applied to basic theories in HOL) 
     1 MIRABELLE_HOME="$COMPONENT"

     2 

     3 MIRABELLE_LOGIC=HOL

     4 MIRABELLE_THEORY=Main

     5 MIRABELLE_OUTPUT_PATH=/tmp/mirabelle

     6 MIRABELLE_TIMEOUT=30

     7 MIRABELLE_VERBOSE=false

     8 

     9 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"
wneuper/isa