author | wenzelm |
Wed, 04 Oct 2017 12:00:53 +0200 | |
changeset 66787 | 64b47495676d |
parent 42069 | 6a147393c62a |
permissions | -rw-r--r-- |
41308 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
32381 | 3 |
MIRABELLE_HOME="$COMPONENT" |
4 |
||
32382
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
5 |
MIRABELLE_LOGIC=HOL |
32385
594890623c46
split actions from Mirabelle core (Mirabelle may thus be applied to basic theories in HOL)
boehmes
parents:
32383
diff
changeset
|
6 |
MIRABELLE_THEORY=Main |
32382
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
7 |
MIRABELLE_TIMEOUT=30 |
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
8 |
|
41308 | 9 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools" |