Isabelle

repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1);

#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.

exec "$(dirname "$0")"/bin/isabelle jedit "$@"