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

HASKABELLE_HOME="$COMPONENT"
HASKABELLE_HOME_USER="$ISABELLE_HOME_USER/$(basename "$HASKABELLE_HOME")"

ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
ISABELLE_DOCS="$ISABELLE_DOCS:$COMPONENT/doc"
