1# -*- shell-script -*- :mode=shellscript:
2
3ISABELLE_ATP="$COMPONENT"
4