author | krauss |
Fri, 25 Mar 2011 21:38:41 +0100 | |
changeset 42119 | 21714b0de625 |
parent 41949 | f9a2e10c49cb |
child 46453 | 9e83b7c24b05 |
permissions | -rw-r--r-- |
41308 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
40975
498f272b4bcb
adding mutabelle as a component and an isabelle tool to be used in regression testing
bulwahn
parents:
diff
changeset
|
3 |
MUTABELLE_HOME="$COMPONENT" |
498f272b4bcb
adding mutabelle as a component and an isabelle tool to be used in regression testing
bulwahn
parents:
diff
changeset
|
4 |
|
41949
f9a2e10c49cb
more conventional Mutabelle settings -- similar to Mirabelle;
wenzelm
parents:
41308
diff
changeset
|
5 |
MUTABELLE_LOGIC=HOL |
f9a2e10c49cb
more conventional Mutabelle settings -- similar to Mirabelle;
wenzelm
parents:
41308
diff
changeset
|
6 |
MUTABELLE_IMPORT_THEORY=Complex_Main |
40975
498f272b4bcb
adding mutabelle as a component and an isabelle tool to be used in regression testing
bulwahn
parents:
diff
changeset
|
7 |
|
41308 | 8 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools" |