Isabelle

try apple.laf.useScreenMenuBar=false to make menus stay closer to the editor views they belong to -- potentially less confusing for jEdit newcomers;

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

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