wenzelm@31919: #!/usr/bin/env bash
wenzelm@31919: #
wenzelm@31919: # Author: Makarius
wenzelm@31919: #
wenzelm@45733: # Default Isabelle application wrapper.
wenzelm@31919: 
wenzelm@45733: exec "$(dirname "$0")"/bin/isabelle jedit "$@"
wenzelm@31919: