Isabelle

replace locale 'UFT' with new un-named context block feature;
use locale begin/end instead of 'in';

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

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