Isabelle

clarified special eol treatment and moved to gfx_range -- enables error messages at end of input, e.g. "prop PROP";

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

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