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