Isabelle

mark "xt..." rules as "no_atp", since they are easy consequences of other better named properties

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

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