author | wenzelm |
Mon, 13 Apr 2020 22:08:14 +0200 | |
changeset 71751 | abf3e80bd815 |
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" |