author | huffman |
Sun, 13 Nov 2011 19:26:53 +0100 | |
changeset 45480 | a39bb6d42ace |
parent 44861 | 329ced2615eb |
child 50805 | 69439c9defec |
permissions | -rwxr-xr-x |
31919 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# Author: Makarius |
|
4 |
# |
|
44861
329ced2615eb
simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
wenzelm
parents:
43540
diff
changeset
|
5 |
# Default Isabelle application wrapper. |
31919 | 6 |
|
44861
329ced2615eb
simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
wenzelm
parents:
43540
diff
changeset
|
7 |
exec "$(dirname "$0")"/bin/isabelle jedit "$@" |
31919 | 8 |