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

ISABELLE_LLNCS_HOME="$COMPONENT"
