equal
deleted
inserted
replaced
16 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents" |
16 ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents" |
17 |
17 |
18 |
18 |
19 ## settings |
19 ## settings |
20 |
20 |
21 export THIS_IS_ISABELLE_BUILD=true |
|
22 |
|
23 PRG="$(basename "$0")" |
21 PRG="$(basename "$0")" |
24 |
22 |
25 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)" |
23 ISABELLE_HOME="$(cd "$(dirname "$0")"; pwd -P)" |
26 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
24 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
|
25 |
|
26 ISABELLE_OUTPUT="$ISABELLE_HOME/heaps/$ML_IDENTIFIER" |
|
27 ISABELLE_BROWSER_INFO="$ISABELLE_HOME/browser_info" |
27 |
28 |
28 |
29 |
29 ## diagnostics |
30 ## diagnostics |
30 |
31 |
31 function usage() |
32 function usage() |