equal
deleted
inserted
replaced
7 # Smart selection of isabelle-process versus isabelle-interface. |
7 # Smart selection of isabelle-process versus isabelle-interface. |
8 |
8 |
9 THIS=$(cd "$(dirname "$0")"; pwd) |
9 THIS=$(cd "$(dirname "$0")"; pwd) |
10 NAME="$(basename "$0")" |
10 NAME="$(basename "$0")" |
11 |
11 |
12 PRG=isabelle-interface |
12 case "$NAME" in |
13 [ "$NAME" = isabelle ] && PRG=isabelle-process |
13 I*) |
|
14 PRG=isabelle-interface |
|
15 ;; |
|
16 i*) |
|
17 PRG=isabelle-process |
|
18 ;; |
|
19 esac |
14 |
20 |
15 exec "$THIS/$PRG" "$@" |
21 exec "$THIS/$PRG" "$@" |