Isabelle

prefer (old) isa-index as provided here, to get exactly the same index layout as in Isabelle2012;
more accurate ROOT/files;

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

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