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