proper naming of simprocs according to actual target context;
afford pervasive declaration which makes results available with qualified name from outside;

#!/usr/bin/env bash

#

# Author: Makarius

#

# Default Isabelle application wrapper.

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