Isabelle

disable kodkodi for now to prevent isatest failure of HOL-Nitpick_Examples due to 'a set constructor;
prefer explicit version information;

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

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