author | Walther Neuper <neuper@ist.tugraz.at> |
Tue, 17 Sep 2013 10:12:15 +0200 | |
changeset 52108 | 9aaf0d0f0ce4 |
parent 51820 | 69439c9defec |
child 53812 | f3a6b1d0915e |
permissions | -rwxr-xr-x |
wenzelm@31919 | 1 |
#!/usr/bin/env bash |
wenzelm@31919 | 2 |
# |
wenzelm@31919 | 3 |
# Author: Makarius |
wenzelm@31919 | 4 |
# |
wenzelm@45733 | 5 |
# Default Isabelle application wrapper. |
wenzelm@31919 | 6 |
|
wenzelm@51820 | 7 |
exec "$(dirname "$0")"/bin/isabelle jedit -s "$@" |
wenzelm@31919 | 8 |