diff options
| author | Makarius Wenzel | 2009-07-29 16:19:55 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2009-07-29 16:19:55 +0000 |
| commit | 61e29fa38387e10b73efc36040b06473386b9036 (patch) | |
| tree | b799105fcfd69f816d07ee1bb05546198cdf7491 /isar/interface | |
| parent | 6d278e30b43a1d060f21e9b39d8cfecebebb5d61 (diff) | |
ISABELLE_TOOL refers to "isabelle" tool wrapper;
ISABELLE_PROCESS refers to "isabelle-process";
Diffstat (limited to 'isar/interface')
| -rw-r--r-- | isar/interface | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/interface b/isar/interface index 9ca83f3b..b2ed3209 100644 --- a/isar/interface +++ b/isar/interface @@ -175,7 +175,7 @@ function installfonts () if [ "$START_PG" = false ]; then [ "$ISAR" = true ] && ISABELLE_OPTIONS="$ISABELLE_OPTIONS -I" - exec "$ISABELLE" $ISABELLE_OPTIONS "$LOGIC" + exec "$ISABELLE_PROCESS" $ISABELLE_OPTIONS "$LOGIC" else |