equal
deleted
inserted
replaced
4 # |
4 # |
5 # Isabelle shell functions, with on-demand re-initialization for |
5 # Isabelle shell functions, with on-demand re-initialization for |
6 # non-interactive bash processess. NB: bash shell functions are not portable |
6 # non-interactive bash processess. NB: bash shell functions are not portable |
7 # and may be dropped by aggressively POSIX-conformant versions of /bin/sh. |
7 # and may be dropped by aggressively POSIX-conformant versions of /bin/sh. |
8 |
8 |
9 if [ -z "$ISABELLE_SETTINGS_PRESENT" ] |
9 if type splitarray >/dev/null 2>/dev/null |
10 then |
|
11 echo 1>&2 "Missing Isabelle settings environment" |
|
12 exit 2 |
|
13 elif type splitarray >/dev/null 2>/dev/null |
|
14 then |
10 then |
15 : |
11 : |
16 else |
12 else |
17 |
13 |
18 if [ "$OSTYPE" = cygwin ]; then |
14 if [ "$OSTYPE" = cygwin ]; then |