| author | blanchet |
| Sat Feb 11 13:41:36 2012 +0100 (3 months ago) | |
| changeset 46412 | ec2e20b27638 |
| parent 43541 | 71aba8ee3b8f |
| permissions | -rwxr-xr-x |
| wenzelm@31919 | 1 |
#!/usr/bin/env bash |
| wenzelm@31919 | 2 |
# |
| wenzelm@31919 | 3 |
# Author: Makarius |
| wenzelm@31919 | 4 |
# |
| wenzelm@44862 | 5 |
# Default Isabelle application wrapper. |
| wenzelm@31919 | 6 |
|
| wenzelm@44862 | 7 |
exec "$(dirname "$0")"/bin/isabelle jedit "$@" |
| wenzelm@31919 | 8 |