1 # -*- shell-script -*- :mode=shellscript:
2
3 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"