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