1 # -*- shell-script -*- :mode=shellscript:
2
3 ISABELLE_ISAC="$COMPONENT/src/Tools/isac"
4 ISABELLE_ISAC_TEST="$COMPONENT/test"