# -*- shell-script -*- :mode=shellscript:

ISABELLE_BASH_PROCESS="$COMPONENT/$ISABELLE_PLATFORM64/bash_process"
