discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly);
#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke Haskell Tool Stack within the Isabelle environment
isabelle_stack "$@"