Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/HOL/Mirabelle/etc/settings
author boehmes
Wed, 02 Sep 2009 16:23:53 +0200
changeset 32496 4ab00a2642c3
parent 32467 src/HOL/Tools/Mirabelle/etc/settings@1ad7d4fc0954
child 41556 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"













wneuper/isa