author | boehmes |
Fri, 21 Aug 2009 09:44:55 +0200 | |
changeset 32382 | 98674ac811c4 |
parent 32381 | 11542bebe4d4 |
permissions | -rw-r--r-- |
32381 | 1 |
MIRABELLE_HOME="$COMPONENT" |
2 |
||
32382
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
3 |
MIRABELLE_LOGIC=HOL |
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
4 |
MIRABELLE_OUTPUT_PATH=/tmp/mirabelle |
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
5 |
MIRABELLE_TIMEOUT=30 |
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
6 |
MIRABELLE_VERBOSE=false |
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
7 |
|
98674ac811c4
Mirabelle tool script conforming to standard Isabelle tool interface,
boehmes
parents:
32381
diff
changeset
|
8 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools" |