1#!/usr/bin/env bash 2# 3# Author: Makarius 4# 5# DESCRIPTION: invoke Haskell Tool Stack within the Isabelle environment 6 7isabelle_stack "$@" 8