Isabelle

killed SPASS 3.5/3.7 FLOTTER hack -- requires users to upgrade to SPASS 3.8

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

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